RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Чуркин Ян Андреевич
Публикации в базе данных Math-Net.Ru
Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang
Труды ИСП РАН
,
35
:5 (2023),
169–192
©
МИАН
, 2024
