PROGRAM CORRECTNESS PROVER Англо-русский перевод PROGRAM CORRECTNESS PROVER средства доказательства правильности (работы) программ Драгальчук Е.. English-Russian dictionary of computer terms. Англо-Русский словарь компьютерных терминов. 2012