Высшая Школа Кибербезопасности и Защиты Информации

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