词典论坛联络

   英语 俄语 +
Google | Forvo | +

based on formal methods

强调
软件 на основе методов формальной верификации программного обеспечения (Alex_Odeychuk)