V. K. Koshelev

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 1

Top Topics

Provably Correct

Digital Libraries

Top Venues

Program. Comput. Softw.

Publications

V. K. Koshelev, V. N. Ignatiev, A. I. Borzilov, A. A. Belevantsev
SharpChecker: Static analysis tool for C# programs. Program. Comput. Softw. 43 (4) (2017)
V. K. Koshelev, A. O. Izbyshev, I. A. Dudina
Interprocedural taint analysis for LLVM-bitcode. Program. Comput. Softw. 41 (4) (2015)