Searching for authors named "Elmar Habermalz" – sorted by Relevance.
-
Interactive Theorem Proving with Schematic Theory Specific Rules
- Interactive Theorem Proving with Schematic Theory Specic Rules Elmar Habermalz Universit
- Cited by 9 (4 self) – Add To MetaCart
-
Taclets: A New Paradigm for Constructing Interactive Theorem Provers
- Giese, Elmar Habermalz, Reiner Hähnle, Andreas Roth, Philipp Rümmer, Steffen Schlager 9
- Cited by 21 (8 self) – Add To MetaCart
-
The KEY Approach: Integrating Object Oriented Design and Formal Verification
- , Thomas Baar 1 , Bernhard Beckert 1 , Martin Giese 1 , Elmar Habermalz 1 , Reiner Hahnle 2
- Cited by 42 (18 self) – Add To MetaCart
-
The KeY system: Integrating object-oriented design and formal methods
- Baar 1 , Bernhard Beckert 1 ,MartinGiese 1 , Elmar Habermalz 1 ,ReinerHähnle 2 , Wolfram Menzel 1
- Cited by 18 (13 self) – Add To MetaCart
-
Taclets: A New Paradigm for Constructing Interactive Theorem Provers
- Paradigm for Constructing Interactive Theorem Provers Bernhard Beckert, Martin Giese, Elmar Habermalz
- Add To MetaCart
-
The KEY Approach: Integrating Design and Formal Verification of Java Card Programs
- Thomas Baar y Bernhard Beckert y Martin Giese y Elmar Habermalz y Reiner Hahnle z Wolfram Menzel
- Cited by 1 (0 self) – Add To MetaCart

