VERIFICATION CONDITION GENERATION Англо-русский перевод VERIFICATION CONDITION GENERATION генерирование условий верификации (при доказательстве правильности программ) New large English-Russian dictionary . Новый большой Англо-Русский словарь. 2011