CORRECTNESS PROOF Англо-русский перевод CORRECTNESS PROOF доказательство правильности (программы) English-Russian dictionary. Англо-Русский словарь. 2012