algorithm validation
ДОКАЗАТЕЛЬСТВО ПРАВИЛЬНОСТИ АЛГОРИТМА
Русско-английский перевод ДОКАЗАТЕЛЬСТВО ПРАВИЛЬНОСТИ АЛГОРИТМА
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. Russian-English explanatory dictionary of terms and abbreviations of computer engineering, Internet and programming. 2012