Borzilov Artem Il'ich

Publications in Math-Net.Ru

1. C# static analysis framework
   
   Proceedings of ISP RAS, 28:1 (2016),  21–40
2. Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference
   
   Proceedings of ISP RAS, 27:5 (2015),  59–86