RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Батоев Константин Аланович
Публикации в базе данных Math-Net.Ru
Автоматическое доказательство корректности программ с динамической памятью
Труды ИСП РАН
,
31
:5 (2019),
37–62
©
МИАН
, 2024
