SłownikiForumKontakt

Google | Forvo | +

automation of proofs

akcenty
progr. автоматизация доказательства правильности программ (корпорации AdaCore Alex_Odeychuk)

Dodaj | Zgłoś błąd | Krótki link