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