Кафедра "Информационная безопасность компьютерных систем"

Основы верификационного анализа безопасности исполняемого кода программ