Searching for authors named "Elmar Habermalz" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

Interactive Theorem Proving with Schematic Theory Specific Rules
by Elmar Habermalz — 2000 — Fakultät für Informatik, Universität Karlsruhe, 2000b. URL http://www.key-project.org/doc/2000/stsr.ps.gz
…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
by Bernhard Beckert, Bernhard Beckert, Martin Giese, Martin Giese, Elmar Habermalz, Philipp Rümmer, Reiner Hähnle, Reiner Hähnle, Andreas Roth, Andreas Roth, Steffen Schlager, Steffen Schlager — 2004 — Ciencias Exactas, Físicas y Naturales, Serie A: Matemáticas, 98(1), 2004. Special Issue on Symbolic Computation in Logic and Artificial Intelligence
… 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
by Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt — 2000
… , 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
by Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Elmar Habermalz, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt — 2002 — In Ralf-Detlef Kutsche and
… 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
by Rev Acad Cien, Cien Serie, A. Mat, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Andreas Roth, Steffen Schlager
… 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
by Wolfgang Ahrendt, Thomas Baar Bernhard Beckert Martin Giese, Thomas Baar, Bernhard Beckert, Wolfram Menzel, Peter H. Schmitt, Martin Giese, Elmar Habermalz, Reiner Hähnle — 2000
… 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

Showing 1 through 6.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB