DictionnaireLe forumContacts

   Anglais Russe +
Google | Forvo | +

support for model static analysis

contraintes
logic. поддержка статического анализа модели (корпорации AdaCore Alex_Odeychuk)