DictionaryForumContacts

   English
Terms for subject Programming containing semi-automated | all forms | in specified order only
EnglishRussian
semi-automated formal verification of softwareполуавтоматическая формальная верификация программного обеспечения (Alex_Odeychuk)