PROGRAM CORRECTNESS PROVER Англо-русский перевод PROGRAM CORRECTNESS PROVER средства доказательства правильности (работы) программ New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011