Elmar Habermalz

According to our database, Elmar Habermalz authored at least 3 papers between 2000 and 2002.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2002

The KeY System: Integrating Object-Oriented Design and Formal Methods.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

Ein dynamisches automatisierbares interaktives Kalkül für schematische theoriespezifische Regeln.

Elmar Habermalz

PhD thesis, 2001

2000

The KeY Approach: Integrating Object Oriented Design and Formal Verification.

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000