PROOF OF TERMINATION Англо-русский перевод PROOF OF TERMINATION доказательство правильности завершения ( программы ) Драгальчук Е.. English-Russian dictionary of computer terms. Англо-Русский словарь компьютерных терминов. 2012