Wörterbücher
Forum
Kontakte

Google | Forvo | +

perform formal proof and verification on code

Betonungen
Progr. выполнять формальное доказательство корректности и верификацию кода (корпорации AdaCore Alex_Odeychuk)

Hinzufügen | Fehler melden | Kurzlink auf diese Seite