"An Integration of Program Analysis and Automated Theorem Proving."

Bill J. Ellis, Andrew Ireland (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics