Name | Prof. Dr. Peter Müller |
Field | Software Technology |
Address | Professur für Software Technology ETH Zürich, CAB H 84 Universitätstrasse 6 8092 Zürich SWITZERLAND |
Telephone | +41 44 632 28 68 |
peter.mueller@inf.ethz.ch | |
URL | http://www.pm.inf.ethz.ch |
Department | Computer Science |
Relationship | Full Professor |
Number | Title | ECTS | Hours | Lecturers | ||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
252-0058-00L | Formal Methods and Functional Programming | 7 credits | 4V + 2U | |||||||||||||||||||||||||||||
252-0058-00 V | Formal Methods and Functional Programming | 4 hrs |
| D. Basin, P. Müller | ||||||||||||||||||||||||||||
252-0058-00 U | Formal Methods and Functional Programming | 2 hrs |
| D. Basin, P. Müller | ||||||||||||||||||||||||||||
263-2812-00L | Program Verification Number of participants limited to 30. | 5 credits | 3G + 1A | |||||||||||||||||||||||||||||
263-2812-00 G | Program Verification | 3 hrs |
| P. Müller, C. Matheja | ||||||||||||||||||||||||||||
263-2812-00 A | Program Verification | 1 hrs | P. Müller, C. Matheja |