"Automated Assumption Generation for Compositional Verification."

Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics