Макаров Сергей Сергеевич

Публикации в базе данных Math-Net.Ru

1. Практическая абстрактная интерпретация бинарного кода
   
   Труды ИСП РАН, 32:6 (2020),  101–110
2. Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода
   
   Труды ИСП РАН, 31:6 (2019),  65–88