Elmar Habermalz

2002
2	EE	Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt: The KeY System: Integrating Object-Oriented Design and Formal Methods. FASE 2002: 327-330
2000
1	EE	Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt: The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA 2000: 21-36

Coauthor Index

1	Wolfgang Ahrendt	[1] [2]
2	Thomas Baar	[1] [2]
3	Bernhard Beckert	[1] [2]
4	Martin Giese	[1] [2]
5	Reiner Hähnle	[1] [2]
6	Wolfram Menzel	[1] [2]
7	Wojciech Mostowski	[2]
8	Peter H. Schmitt	[1] [2]