SłownikiForumKontakt

Google | Forvo | +

perform formal proof and verification on code

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

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