SłownikiForumKontakt

   Angielski Rosyjski +
Google | Forvo | +

reasoning about correctness

akcenty
progr. обоснование правильности (напр., алгоритма ssn)