DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

subclass of formal verification called model checking

contraintes
progr. подвид формальной верификации, называемый верификация модели (ssn)