Борзилов Артем Ильич

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

1. Инфраструктура статического анализа программ на языке C#
   
   Труды ИСП РАН, 28:1 (2016),  21–40
2. Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя
   
   Труды ИСП РАН, 27:5 (2015),  59–86