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

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

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