Grahl, Daniel ; Bubel, Richard ; Mostowski, Wojciech ; Schmitt, Peter H. ; Ulbrich, Mattias ; Weiß, Benjamin
Ahrendt, Wolfgang ; Beckert, Bernhard ; Bubel, Richard ; Hähnle, Reiner ; Schmitt, Peter H. ; Ulbrich, Mattias (eds.) (2016):
Modular Specification and Verification.
In: Lecture Notes in Computer Science, 10001, In: Deductive Software Verification - The KeY Book - From Theory to Practice, pp. 289-351, Springer, DOI: 10.1007/978-3-319-49812-6₉,
[Book Section]

Ahrendt, Wolfgang ; Beckert, Bernhard ; Bruns, Daniel ; Bubel, Richard ; Gladisch, Christoph ; Grebing, Sarah ; Hähnle, Reiner ; Hentschel, Martin ; Klebanov, Vladimir ; Mostowski, Wojciech ; Scheben, Christoph ; Schmitt, Peter ; Ulbrich, Mattias
Giannakopoulou, Dimitra ; Kroening, Daniel (eds.) (2014):
The KeY Platform for Verification and Analysis of Java Programs.
In: LNCS, In: Post-Conference Proceedings VSTTE 2014, pp. 55--71,
Springer, [Conference or Workshop Item]

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), p. 32. DOI: 0.1007/s10270-004-0058-x,
[Article]

Hähnle, Reiner ; Mostowski, Wojciech
Barthe, Gilles ; Burdy, Lilian ; Huisman, Marieke ; Lanet, Jean-Louis ; Muntean, Traian (eds.) (2005):
Verification of Safety Properties in the Presence of Transactions.
In: LNCS, 3362, In: Post Conference Proceedings of {CASSIS}: Construction and Analysis of Safe, Secure and Interoperable Smart devices, Marseille, pp. 151--171,
Springer-Verlag, [Conference or Workshop Item]

Ahrendt, Wolfgang ; Baar, Thomas ; Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Menzel, Wolfram ; Mostowski, Wojciech ; Schmitt, Peter H.
Kutsche, Ralf-Detlef ; Weber, Herbert (eds.) (2002):
The KeY System: Integrating Object-Oriented Design and Formal Methods.
In: Lecture Notes in Computer Science, 2306, pp. 327-330, Springer, 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₂₃,
[Conference or Workshop Item]