
Static analyzer Svace for finding defects in a source program code
Ivannikov, V. P., Belevantsev, A. A., Borodin, A. E., Ignatiev, V. N., Zhurikhin, D. M., Avetisyan, A. I.Volume:
40
Langue:
english
Journal:
Programming and Computer Software
DOI:
10.1134/S0361768814050041
Date:
September, 2014
Fichier:
PDF, 828 KB
english, 2014