Sebastian Nanz: Course units in Autumn Semester 2015

Name Dr. Sebastian Nanz
URLhttp://se.inf.ethz.ch/people/nanz/
DepartmentComputer Science
RelationshipLecturer

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