1. A Formalization of JML in the Coq Proof System

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

Reports

2. Akzeptanz und Wirkung von Massnahmen zur Erhöhung der Treibstoffeffizienz

Peters, Anja, De Haan, Peter and Müller, Michel (2006)

Reports

3. A Logic for Bytecode

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

Reports

4. Anreizsysteme beim Neuwagenkauf

De Haan, Peter, Müller, Michel and Peters, Anja (2007)

Reports

5. Autokaufentscheid

Müller, Michel and De Haan, Peter (2006)

Reports

6. Beiträge zur Kenntnis der Butanol-Aceton-Gärung in Sulfitablauge

Müller, Hans Peter (1957)

Doctoral and Habilitation Theses

7. Checking well-formedness of pure-method specifications

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

Reports

8. Corphin: ein neuartiges porphinoid-corrinoides Ligandsystem

Müller, Peter Michael (1973)

Doctoral and Habilitation Theses

9. Ein Objekt kommt selten allein - Programmieren mit Objektstrukturen

Müller, Peter (2004)

Videos

10. Formalization of generic universe types

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

Reports

11. Formal techniques for Java-like programs

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

Reports

12. Freedom before commitment

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

Reports

13. Modular invariants for layered object structures

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

Reports

14. Modular specification and verification of delegation with SMT solvers

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

Reports

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

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

Reports

16. Nahordnung und Verzerrung an Al-Cu-Einkristallen

Müller, Peter Paul (1988)

Doctoral and Habilitation Theses

17. Neuwagenkäufer

De Haan, Peter, Peters, Anja and Müller, Michel (2005)

Reports

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

Müller, Peter (1987)

Doctoral and Habilitation Theses

19. Plastische Berechnung von Stahlbetonscheiben und -balken

Müller, Peter (1978)

Doctoral and Habilitation Theses

20. Plastische Berechnung von Stahlbetonscheiben und -balken

Müller, Peter (1978)

Reports

21. Reduzierte Chlorierung von reiner Tonerde und Bauxit

Müller, Hans Peter (1976)

Doctoral and Habilitation Theses

22. Specification and verification of closures

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

Reports

23. Synthesen in der Furanreihe

Müller, Peter (1964)

Doctoral and Habilitation Theses

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

Müller, Peter Heinrich (1955)

Doctoral and Habilitation Theses

25. Tunable universe type inference

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

Reports