Большой англо-русский и русско-английский словарь
формальное доказательство правильности программы
«formal program validation»
formal program validation в энциклопедиях
formal program validation в энциклопедиях
формальное доказательство правильности программы