Sign in | English | Terms of Use
DictionaryForumContacts
Terms for subject Information technology containing program proving | all forms | in specified order only
EnglishRussian
program provingдоказательство правильности программ
theorem proving programпрограмма для построения доказательств

Get short URL