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