Белов Никита Андреевич

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

1. Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции
   
   Труды ИСП РАН, 28:5 (2016),  11–26