2005

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Bubel, Richard ; Giese, Martin ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Roth, Andreas ; Schlager, Steffen ; Schmitt, Peter (2005)
The KeY tool: integrating object oriented design and formal verification.
In: Software and System Modeling, 4 (1)
doi: 10.1007/s10270-004-0058-x
Artikel, Bibliographie

2002

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Schmitt, Peter H.
Hrsg.: Kutsche, Ralf-Detlef ; Weber, Herbert (2002)
The KeY System: Integrating Object-Oriented Design and Formal Methods.
Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings.
doi: 10.1007/3-540-45923-5_23
Konferenzveröffentlichung, Bibliographie

2000

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter (2000)
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
Report, Bibliographie

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter (2000)
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter
Hrsg.: Ojeda-Aciego, Manuel ; de Guzmán, Inma P. ; Brewka, Gerhard ; Pereira, Luís Moniz (2000)
The KeY Approach: Integrating Object Oriented Design and Formal Verification.
Konferenzveröffentlichung, Bibliographie

1999

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

1998

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

Hähnle, Reiner ; Menzel, Wolfram ; Schmitt, Peter (1998)
Integrierter Deduktiver Software-Entwurf.
In: Künstliche Intelligenz, 12
Artikel, Bibliographie