Publication

Automating Proofs of Unwinding Conditions

Dieter Hutter

In: Serge Autexier, Heiko Mantel (editor). Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International Verification Workshop (VERIFY) Seattle 2006.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz