DictionaryForumContacts

   English Russian +
Google | Forvo | +

prove the absence of constraint errors

stresses
progr. выполнить доказательство отсутствия ошибки выхода за ограничение (корпорации AdaCore Alex_Odeychuk)