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