DictionaryForumContacts

   English Russian +
Google | Forvo | +

default loop invariant

stresses
progr. инвариант цикла по умолчанию (adacore.com Alex_Odeychuk)