RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Ковалев Даниил Юрьевич
Публикации в базе данных Math-Net.Ru
Логика Хоара для императивного языка, учитывающего некоторые аппаратные ограничения
Чебышевский сб.
,
26
:3 (2025),
113–124
©
МИАН
, 2026
