DFKI-LT - Automating Proofs of Unwinding Conditions

Dieter Hutter
Automating Proofs of Unwinding Conditions
in: Serge Autexier, Heiko Mantel (eds.):
Workshop Proceedings VERIFY06 at the International Joint Conference on Automated Reasoning, Seattle, -, Seattle, USA, 2006
 
-
 
Files: BibTeX