DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

model checking using automata

contraintes
progr. верификация моделей при помощи автоматов (ssn)