Wörterbücher
Forum
Kontakte

Google | Forvo | +

automated inference of specifications and invariants

Betonungen
KI, Progr. автоматизированный вывод спецификаций и инвариантов (illinois.edu Alex_Odeychuk)

Hinzufügen | Fehler melden | Kurzlink auf diese Seite