Малышев Никита Евгеньевич

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

1. Поиск утечек памяти и ресурсов в статическом анализаторе Svace
   
   Труды ИСП РАН, 37:3 (2025),  291–302
2. Об одном подходе к анализу строк в языке Си для поиска переполнения буфера
   
   Труды ИСП РАН, 30:5 (2018),  55–74