И. Бурдонов, А. Косачев
Тестирование и верификация систем на основе формальных моделей. Лекция 1.
http://old.compsciclub.ru/courses/testingverification/
Уральский федельный университет, Computer Science клуб, Екатеринбург, 6,7,8 апреля 2012
45 слайдов