Sebastian Nanz: Course units in Autumn Semester 2015 |
Name | Dr. Sebastian Nanz |
URL | http://se.inf.ethz.ch/people/nanz/ |
Department | Computer Science |
Relationship | Lecturer |
Number | Title | ECTS | Hours | Lecturers | |
---|---|---|---|---|---|
252-0239-00L | Software Verification | 6 credits | 3V + 2U | B. Meyer, C. A. Furia, S. Nanz |