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