Дробинцев, Павел Дмитриевич. Введение в технологии верификации [Электронный ресурс]: методические указания для курсового проектирования / П. Д. Дробинцев, Л. П. Котлярова; Санкт-Петербургский государственный политехнический университет. Кафедра информационных и управляющих систем. — Электрон. текстовые дан. (1 файл : 1,2 Мб). — СПб., 2012. — Загл. с титул. экрана. — Доступ из локальной сети ИБК СПбПУ (чтение, печать). — Текстовый документ. — Adobe Acrobat Reader 6.0. — <URL:http://elib.spbstu.ru/dl/local/2395.pdf>.