SharpChecker: Static analysis tool for C# programs

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},
}