DictionaryForumContacts

   English Russian +
Google | Forvo | +

verification of finite-state systems

stresses
progr. верификация систем с конечным числом состояний (ssn)