Report copyright - Software Veri cation and Graph Similarity for Automated ...argo.matf.bg.ac.rs/publications/2013/Vujosevic... · 1.Software veri cation (automated bug nding) 2.Control ow graph (CFG)
Please pass captcha verification before submit form