График выхода изданий
- №4 Декабрь 2026
- №1 Март 2027
- №2 Июнь 2027
Статьи по ключевому слову "формальные методы"
Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS
- Год: 2014
- Выпуск: 2
- 353
- 9523
- Страницы: 180-188