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