DictionaryForumContacts

   English
Terms for subject Information technology containing formal proof | all forms
EnglishRussian
formal program proofформальное доказательство правильности программы