DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

verification aware programming language

contraintes
progr. язык программирования со встроенными средствами формальной верификации программного обеспечения (brooker.co.za Alex_Odeychuk)