Большой англо-русский и русско-английский словарь
средства доказательства правильности (работы) программ
«program correctness prover»
program correctness prover в энциклопедиях
program correctness prover в энциклопедиях
средства доказательства правильности (работы) программ