DictionaryForumContacts

   English Russian
Google | Forvo | +
symbolic model-checking techniquesstresses
progr. символьные методы верификации моделей (ssn)