Карцев Вадим Сергеевич

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

1. Support of Visual Basic .NET in SharpChecker Static Analyzer
   
   Труды ИСП РАН, 36:3 (2024),  49–62
2. Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение
   
   Труды ИСП РАН, 34:6 (2022),  29–40