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

Материал из SEWiki
Перейти к: навигация, поиск

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

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

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