Матвеев В.А., Молотков С.В., Зегжда Д.П.,Мешков А.В., Семьянов П.В., Шведов Д.В.

Основы верификационного анализа безопасности исполняемого кода программ.
Под редакцией проф. Зегжды П.Д.

СПб.: СПбГТУ, 1994. 58 с.