RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Горелова Анна Антоновна
Публикации в базе данных Math-Net.Ru
An automated framework for testing source code static analysis tools
Труды ИСП РАН
,
33
:3 (2021),
41–50
©
МИАН
, 2026
