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