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