DictionaryForumContacts

   English Russian
Terms for subject Software containing A formal | all forms
EnglishRussian
formal verification of an implementation against a specificationформальная верификация реализации на соответствие спецификации (adacore.com Alex_Odeychuk)