Publikation

Automating Proofs of Unwinding Conditions

Dieter Hutter

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

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