RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Орлова Екатерина Михайловна
Публикации в базе данных Math-Net.Ru
Coloring symbolic memory graphs to detect DRM-specific errors in Linux drivers
Труды ИСП РАН
,
37
:5 (2025),
67–80
©
МИАН
, 2025
