DictionaryForumContacts

   Russian English
Google | Forvo | +
обоснование правильностиstresses
progr. reasoning about correctness (напр., алгоритма ssn)