Sign in | English | Terms of Use
DictionaryForumContacts

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

Get short URL