SłownikiForumKontakt

   Angielski Rosyjski +
Google | Forvo | +

tool for formal program verification

akcenty
oprogr. инструмент формальной верификации программ (adacore.com Alex_Odeychuk)