RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Саух Антон Михайлович
Публикации в базе данных Math-Net.Ru
Анализ некоторых семантических аспектов исходных текстов программ на основе формальных спецификаций синтаксиса и семантики
ПДМ. Приложение
, 2012, № 5,
110–111
©
МИАН
, 2026
