DictionaryForumContacts

   Russian
Terms containing модель доказательства | all forms | in specified order only
SubjectRussianEnglish
math.модель доказательстваproof pattern
softw.система построения доказательства соответствия модели программы её формальной спецификацииformal proof engine (Alex_Odeychuk)