RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Журихин Дмитрий Михайлович
Публикации в базе данных Math-Net.Ru
TSAR: инструмент для оценки статических анализаторов
Труды ИСП РАН
,
37
:2 (2025),
79–96
©
МИАН
, 2025
