RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Черганов Тимофей Юрьевич
Публикации в базе данных Math-Net.Ru
Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы
Труды ИСП РАН
,
37
:1 (2025),
159–184
©
МИАН
, 2025
