DictionaryForumContacts

   English Russian +
Google | Forvo | +

analyzability and provability of program properties

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