Driving a sound static software analyzer with branch-and-bound

Sorry, there's nothing here.

Cite this paper

@inproceedings{Mattsen2013DrivingAS, title={Driving a sound static software analyzer with branch-and-bound}, author={Sven Mattsen and Pascal Cuoq and Sibylle Schupp}, booktitle={SCAM}, year={2013} }