Англійська ⇄ Іспанська Італійська Грецька Німецька Російська Французька +

proof verification system наголоси
ПЗ	система формальной верификации программного обеспечения (корпорации AdaCore Alex_Odeychuk)