V. P. Ivannikov, A. A. Belevantsev, A. E. Borodin, V. N. Ignatiev, D. M. Zhurikhin, Arutyun Avetisyan. Static analyzer Svace for finding defects in a source program code. Programming and Computer Software, 40(5):265-275, 2014. [doi]
@article{IvannikovBBIZA14,
title = {Static analyzer Svace for finding defects in a source program code},
author = {V. P. Ivannikov and A. A. Belevantsev and A. E. Borodin and V. N. Ignatiev and D. M. Zhurikhin and Arutyun Avetisyan},
year = {2014},
doi = {10.1134/S0361768814050041},
url = {http://dx.doi.org/10.1134/S0361768814050041},
researchr = {https://researchr.org/publication/IvannikovBBIZA14},
cites = {0},
citedby = {0},
journal = {Programming and Computer Software},
volume = {40},
number = {5},
pages = {265-275},
}