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