DictionaryForumContacts

   English Russian
Google | Forvo | +
analyzability and provability of program propertiesstresses
progr. анализируемость и доказуемость свойств программы (Electronic Design Alex_Odeychuk)