DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

automatic analysis and verification

contraintes
logic. автоматический статический анализ и формальная верификация программного обеспечения (Electronic Design Alex_Odeychuk)