Satisfiability Solvers are Static Analysers
V. D'Silva‚ L. Haller and D. Kroening
Book Title
Proc. of Static Analysis Symposium
Pages
317−333
Publisher
Springer
Year
2012
V. D'Silva‚ L. Haller and D. Kroening