DictionaryForumContacts

   Russian English
Google | Forvo | +
обоснование по схеме "допущение-подтверждение"stresses
progr. justifying assume-guarantee proofs (ssn)