Bubel, Richard ; Roth, Andreas ; Rümmer, Philipp (2008)
Ensuring the Correctness of Lightweight Tactics for JavaCard Dynamic Logic.
In: Electr. Notes Theor. Comput. Sci., 199
doi: 10.1016/j.entcs.2007.11.015
Artikel, Bibliographie

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis (2008)
Integration of a Security Type System into a Program Logic.
In: Theoretical Computer Science, 402 (2--3)
Artikel, Bibliographie

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis (2008)
Integration of a security type system into a program logic.
In: Theor. Comput. Sci., 402 (2-3)
doi: 10.1016/j.tcs.2008.04.033
Artikel, Bibliographie

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
Hrsg.: Montanari, Ugo ; Sannella, Donald ; Bruni, R. (2007)
Integration of a Security Type System into a Program Logic.
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Giese, Martin ; Hähnle, Reiner ; Klebanov, Vladimir ; Rümmer, Philipp ; Schlager, Steffen ; Schmitt, Peter
Hrsg.: Pfenning, Frank (2007)
The KeY System 1.0 (Deduction Component).
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter
Hrsg.: de Boer, Frank ; Bonsangue, Marcello ; Graf, Susanne ; de Roever, Willem (2007)
Verifying Object-Oriented Programs with KeY: a Tutorial.
doi: 10.1007/978-3-540-74792-5_4
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Pan, Jing ; Rümmer, Philipp ; Walter, Dennis
Hrsg.: Montanari, Ugo ; Sannella, Donald ; Bruni, Roberto (2006)
Integration of a Security Type System into a Program Logic.
Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers.
doi: 10.1007/978-3-540-75336-0_8
Konferenzveröffentlichung, Bibliographie

Ahrendt, Wolfgang ; Beckert, Bernhard ; Hähnle, Reiner ; Rümmer, Philipp ; Schmitt, Peter H.
Hrsg.: de Boer, Frank S. ; Bonsangue, Marcello M. ; Graf, Susanne ; de Roever, Willem P. (2006)
Verifying Object-Oriented Programs with KeY: A Tutorial.
Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures.
doi: 10.1007/978-3-540-74792-5_4
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Giese, Martin ; Habermalz, Elmar ; Hähnle, Reiner ; Roth, Andreas ; Rümmer, Philipp ; Schlager, Steffen (2004)
Taclets: a new paradigm for constructing interactive theorem provers.
In: Revista de la Real Academia de Ciencias Exactas, Fisicas y Naturales, Serie A: Matem'{a}ticas, 98 (1)
Artikel, Bibliographie