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