Publikation
In: Serge Autexier; Heiko Mantel (Hrsg.). Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International Verification Workshop (VERIFY), Seattle, 2006.
@inproceedings{pub1893, author = { Hutter, Dieter }, editor = { Autexier, Serge and Mantel, Heiko }, title = {Automating Proofs of Unwinding Conditions}, booktitle = {Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning. International Verification Workshop (VERIFY), Seattle}, year = {2006}, address = {Seattle, USA} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023