SłownikiForumKontakt

   Angielski Rosyjski +
Google | Forvo | +

subclass of formal verification called model checking

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