SłownikiForumKontakt

   Angielski Rosyjski
Google | Forvo | +
semi-formal and formal proofs of correctnessakcenty
oprogr. полуформальные и формальные доказательства корректности (корпорации AdaCore Alex_Odeychuk)