Dmitriy Traytel: Course units in Spring Semester 2020 |
| Name | Dr. Dmitriy Traytel |
| URL | http://people.inf.ethz.ch/trayteld |
| Department | Computer Science |
| Relationship | Lecturer |
| Number | Title | ECTS | Hours | Lecturers | |
|---|---|---|---|---|---|
| 252-0058-00L | Formal Methods and Functional Programming  | 7 credits | 4V + 2U | P. Müller, D. Traytel | |