Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter H. ; Reif, Wolfgang (1999)
J.UCS Special Issue on Integration of Deduction Systems.
In: J. UCS, 5 (3)
Artikel, Bibliographie

Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt (1998)
VSE: Controlling the Complexity in Formal Software Developments.
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Menzel, Wolfram ; Reif, Wolfgang ; Schellhorn, Gerhard ; Schmitt, Peter
Hrsg.: Bibel, Wolfgang ; Schmitt, Peter (1998)
Integration of Automated and Interactive Theorem Proving.
In: Automated Deduction: A Basis for Applications
Buchkapitel, Bibliographie

Hutter, Dieter ; Mantel, Heiko ; Rock, Georg ; Stephan, Werner ; Wolpers, Andreas ; Balser, Michael ; Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt (1998)
VSE: Controlling the Complexity in Formal Software Developments.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Reif, Wolfgang
Hrsg.: Frisch, Alan (1994)
Towards the Integration of Tactical and Automated Reasoning.
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Heisel, Maritta ; Reif, Wolfgang ; Stephan, Werner (1986)
An Interactive Verification System Based on Dynamic Logic.
doi: 10.1007/3-540-16780-3_99
Konferenzveröffentlichung, Bibliographie