RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Панова София Максимовна
Публикации в базе данных Math-Net.Ru
Application of SVAN static analysis tool on open RTL benchmarks
Труды ИСП РАН
,
37
:5 (2025),
131–142
©
МИАН
, 2026
