Тебеньков Иван Александрович

2022

"Создание формальной модели безопасности ИС с использованием платформы Rodin"