Sebastian Nanz: Course units in Autumn Semester 2014

Name Dr. Sebastian Nanz
Address
Schlösslistrasse 39
3008 Bern
SWITZERLAND
URLhttp://se.inf.ethz.ch/people/nanz/
DepartmentComputer Science
RelationshipLecturer

NumberTitleECTSHoursLecturers
252-0239-00LSoftware Verification6 credits3V + 2UB. Meyer, C. A. Furia, S. Nanz