VERIFICATION CONDITION GENERATION


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

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

Big English-Russian dictionary .      Большой Англо-Русский словарь.