Ефремов Денис Валентинович

Публикации в базе данных Math-Net.Ru

1. Мониторинг и тестирование модулей операционных систем на основе абстрактных моделей поведения системы
   
   Труды ИСП РАН, 33:6 (2021),  15–26
2. Мониторинг и тестирование на основе многоуровневых спецификаций программ
   
   Труды ИСП РАН, 32:6 (2020),  7–18
3. Формальная верификация библиотечных функций ядра Linux
   
   Труды ИСП РАН, 29:6 (2017),  49–76