Миронов А.М.-Анализ протоколов безопасности-5.Теория процессов.Примеры верификации свойств процессов

Аватар автора
Teach-In
Курс: Интеллектуальные методы анализа протоколов безопасности Ссылка на плейлист:

0/0


0/0

0/0

0/0

0/0