Методы формальной верификации программ 2012

Материал из SEWiki
Версия от 17:39, 13 сентября 2012; Sergey.kazenyuk (обсуждение | вклад) (Новая страница: «== Некоторые материалы == http://dcn.infos.ru/~karpov/Model%20Checking%20Verification/»)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

Некоторые материалы

http://dcn.infos.ru/~karpov/Model%20Checking%20Verification/

Источник — «http://mit.spbau.ru/sewiki/index.php?title=Методы_формальной_верификации_программ_2012&oldid=1507»