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