DictionaryForumContacts

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