"Integrating static analysis and general-purpose theorem proving for ..."

Panagiotis Manolios, Daron Vroon (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics