1. A Formalization of JML in the Coq Proof System

Kägi, Andreas, Lehner, Hermann and Müller, Peter (2009)

Reports

2. A Logic for Bytecode

Bannwart, Fabian Yves and Müller, Peter (2004)

Reports

3. Checking well-formedness of pure-method specifications

Rudich, Arsenii, Darvas, Ádám Péter and Müller, Peter

Reports

4. Corphin: ein neuartiges porphinoid-corrinoides Ligandsystem

Müller, Peter Michael (1973)

Doctoral and Habilitation Theses

5. Ein Objekt kommt selten allein - Programmieren mit Objektstrukturen

Müller, Peter (2004)

Videos

6. Formalization of generic universe types

Dietl, Werner Michael, Drossopoulou, Sophia and Müller, Peter (2007)

Reports

7. Formal techniques for Java-like programs

Eisenbach, Susan, Leavens, Gary T., Müller, Peter, Poetzsch-Heffter, Arnd and Poll, Erik (2003)

Reports

8. Freedom before commitment

Summers, Alexander J. and Müller, Peter (2010)

Reports

9. Modular invariants for layered object structures

Müller, Peter, Poetzsch-Heffter, Arnd and Leavens, Gary T. (2005)

Reports

10. Modular specification and verification of delegation with SMT solvers

Kassios, Ioannis T. and Müller, Peter (2011)

Reports

11. Modular verification of global module invariants in object-oriented programs

Leino, K. Rustan M. and Müller, Peter (2004)

Reports

12. Nahordnung und Verzerrung an Al-Cu-Einkristallen

Müller, Peter Paul (1988)

Doctoral and Habilitation Theses

13. Parametrisierung der Gletscher-Klima-Beziehung für die Praxis

Müller, Peter (1987)

Doctoral and Habilitation Theses

14. Plastische Berechnung von Stahlbetonscheiben und -balken

Müller, Peter (1978)

Doctoral and Habilitation Theses

15. Plastische Berechnung von Stahlbetonscheiben und -balken

Müller, Peter (1978)

Reports

16. Specification and verification of closures

Kassios, Ioannis T. and Müller, Peter (2010)

Reports

17. Synthesen in der Furanreihe

Müller, Peter (1964)

Doctoral and Habilitation Theses

18. Synthese von Glucosiden und des Cori-Esters aus Brigl-Anhydrid

Müller, Peter Heinrich (1955)

Doctoral and Habilitation Theses

19. Tunable universe type inference

Dietl, Werner, Ernst, Michael and Müller, Peter (2009)

Reports

20. Using debuggers to understand failed verification attempts

Müller, Peter and Ruskiewicz, Joseph N. (2011)

Reports

21. Verification Condition Generation for Permission Logics with Abstraction Functions

Heule, Stefan, Kassios, Ioannis T., Müller, Peter and Summers, Alexander J. (2012)

Reports

22. Verification condition generation for permission logics with abstract predicates and abstraction functions

Heule, Stefan, Kassios, Ioannis T., Müller, Peter and Summers, Alexander J. (2012)

Reports

23. Versetzungen in strukturierten Bleichalkogenidschichten auf Silizium

Müller, Peter (1997)

Doctoral and Habilitation Theses

24. VSTTE 2010 workshop proceedings

Joshi, Rajeev, Margaria, Tiziana, Müller, Peter, Naumann, David and Yang, Hongseok (2010)

Reports