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