| Name | Herr Prof. Dr. Peter Müller |
| Lehrgebiet | Informatik |
| Adresse | Inst. Programmiersprachen u. -syst ETH Zürich, CAB H 84 Universitätstrasse 6 8092 Zürich SWITZERLAND |
| Telefon | +41 44 632 28 68 |
| peter.mueller@inf.ethz.ch | |
| URL | http://www.pm.inf.ethz.ch |
| Departement | Informatik |
| Beziehung | Ordentlicher Professor |
| Nummer | Titel | ECTS | Umfang | Dozierende | |
|---|---|---|---|---|---|
| 252-0058-00L | Formal Methods and Functional Programming | 7 KP | 4V + 2U | D. Basin, P. Müller | |
| 263-2812-00L | Program Verification | 5 KP | 3G + 1A | P. Müller, M. Eilers | |

