Publikation
Deduction in the Verification Support Environment (VSE)
Dieter Hutter; Werner Stephan
In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice, Sheffield, Pages 43-44, 1995.