Karcev Vadim Sergeevitch

Publications in Math-Net.Ru

1. Support of Visual Basic .NET in SharpChecker static analyzer
   
   Proceedings of ISP RAS, 36:3 (2024),  49–62
2. Improving the accuracy of static analysis by accounting for the values of class fields that can have only one constant value
   
   Proceedings of ISP RAS, 34:6 (2022),  29–40