DictionaryForumContacts

   English Russian
Google | Forvo | +
formal verification of an implementation against a specificationstresses
softw. формальная верификация реализации на соответствие спецификации (adacore.com Alex_Odeychuk)