Static analyzer Svace for finding defects in a source program code
Crossref DOI link: https://doi.org/10.1134/S0361768814050041
Published Online: 2014-09-21
Published Print: 2014-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ivannikov, V. P.
Belevantsev, A. A.
Borodin, A. E.
Ignatiev, V. N.
Zhurikhin, D. M.
Avetisyan, A. I.
Text and Data Mining valid from 2014-09-01