DictionaryForumContacts

   Russian English
Google | Forvo | +
верификация систем с конечным числом состоянийstresses
progr. verification of finite-state systems (ssn)