DictionaryForumContacts

   English Russian
Google | Forvo | +
proof of correctness in terms of loop invariantsstresses
progr. доказательство правильности в терминах инвариантов циклов (ssn)