Sign in | English | Terms of Use
DictionaryForumContacts

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

Get short URL