Большой англо-русский и русско-английский словарь
верифицирующее условие (в технике доказательства правильности программ)
«verification condition»
verification condition в энциклопедиях
verification condition в энциклопедиях
верифицирующее условие (в технике доказательства правильности программ)