SłownikiForumKontakt

   Angielski Rosyjski
Google | Forvo | +
formal proof toolakcenty
oprogr. инструментальное средство формального доказательства корректности ПО (корпорации AdaCore Alex_Odeychuk)