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