DictionaryForumContacts

   Russian English
Google | Forvo | +
полуавтоматическая формальная верификация программного обеспеченияstresses
progr. semi-automated formal verification of software (Alex_Odeychuk)