SłownikiForumKontakt

   Angielski Rosyjski +
Google | Forvo | +

analyzability and provability of program properties

akcenty
progr. анализируемость и доказуемость свойств программы (Electronic Design Alex_Odeychuk)