VERIFICATION CONDITION GENERATION


Англо-русский перевод VERIFICATION CONDITION GENERATION

генерирование условий верификации (при доказательстве правильности программ)

New large English-Russian dictionary .      Новый большой Англо-Русский словарь.