DiccionariosForoContactos

   Inglés Ruso +
Google | Forvo | +

formal verification of implicit calls

acentos
progr. формальная верификация неявных вызовов (adacore.com Alex_Odeychuk)