|
|
Publications in Math-Net.Ru |
Citations |
|
2016 |
1. |
V. K. Koshelev, V. N. Ignatyev, A. I. Borzilov, “C# static analysis framework”, Proceedings of ISP RAS, 28:1 (2016), 21–40 |
7
|
|
2015 |
2. |
V. Koshelev, I. Dudina, V. Ignatyev, A. Borzilov, “Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference”, Proceedings of ISP RAS, 27:5 (2015), 59–86 |
9
|
|
Organisations |
|
|