DictionaryForumContacts

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