DictionaryForumContacts

   Russian
Terms for subject Software containing спецификация системы | all forms
RussianEnglish
система построения доказательства соответствия модели программы её формальной спецификацииformal proof engine (Alex_Odeychuk)