Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Software containing Semi | all forms | exact matches only
EnglishRussian
semi-formal and formal proofs of correctnessполуформальные и формальные доказательства корректности (корпорации AdaCore Alex_Odeychuk)

Get short URL