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]

Abstract

Abstract is missing.