Вы здесь

Главная

утверждение

Связанные издания:

Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling
Methods as Assertions
Проверка правильности логических утверждений о программах на языке СЕТЛ
Система проверки утверждений о программах СПРУТ