Theses

• Philipp Rümmer
  Calculi for Program Incorrectness and Arithmetic
  PhD Thesis, December 2008
  Department of Computer Science and Engineering, University of Gothenburg
  Technical Report no. D50
  (PDF, Abstract - BibTeX)
• Philipp Rümmer
  Proving and Disproving in Dynamic Logic for Java
  Licentiate Thesis, August 2006
  Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University
  Technical Report no. 2006-26L
  (PDF - BibTeX - Abstract)
• Philipp Rümmer
  Interactive Verification of JCSP Programs
  Diploma Thesis, University of Karlsruhe, 2004
  Also occurred as: Technical Report no. 2005-01
  Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University
  (Postscript - BibTeX - Abstract)
• Philipp Rümmer
  Ensuring the Soundness of Taclets - Constructing Proof Obligations for Java Card DL Taclets
  Minor Thesis, University of Karlsruhe, 2003
  (PDF - BibTeX)