V. K. Koshelev, V. N. Ignatiev, A. I. Borzilov, A. A. Belevantsev. SharpChecker: Static analysis tool for C# programs. Programming and Computer Software, 43(4):268-276, 2017. [doi]
@article{KoshelevIBB17, title = {SharpChecker: Static analysis tool for C# programs}, author = {V. K. Koshelev and V. N. Ignatiev and A. I. Borzilov and A. A. Belevantsev}, year = {2017}, doi = {10.1134/S0361768817040041}, url = {https://doi.org/10.1134/S0361768817040041}, researchr = {https://researchr.org/publication/KoshelevIBB17}, cites = {0}, citedby = {0}, journal = {Programming and Computer Software}, volume = {43}, number = {4}, pages = {268-276}, }