Alexander John Summers: Course units in Spring Semester 2019 |
| Name | Dr. Alexander John Summers |
| alexander.summers@inf.ethz.ch | |
| Department | Computer Science |
| Relationship | Lecturer |
| Number | Title | ECTS | Hours | Lecturers | |
|---|---|---|---|---|---|
| 263-2812-00L | Program Verification   Number of participants limited to 30. | 5 credits | 2V + 1U + 1A | A. J. Summers | |