RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Николаев Артём Валерьевич
Публикации в базе данных Math-Net.Ru
Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле
Труды ИСП РАН
,
34
:5 (2022),
23–42
©
МИАН
, 2024
