[IEEE 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Eindhoven, Netherlands (2013.09.22-2013.09.23)] 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Driving a sound static software analyzer with branch-and-bound
Mattsen, Sven, Cuoq, Pascal, Schupp, SibylleYear:
2013
Language:
english
DOI:
10.1109/SCAM.2013.6648185
File:
PDF, 111 KB
english, 2013