Marco Eilers: Courses in Spring Semester 2023

Name Dr. Marco Eilers
Address
Professur für Software Technology
ETH Zürich, CAB H 89
Universitätstrasse 6
8092 Zürich
SWITZERLAND
E-mailmarco.eilers@inf.ethz.ch
URLhttps://www.pm.inf.ethz.ch/people/personal/meilers-pers.html
DepartmentComputer Science
RelationshipLecturer

NumberTitleECTSHoursLecturers
263-2812-00LProgram Verification Information Restricted registration - show details 5 credits3G + 1A
263-2812-00 GProgram Verification Special students and auditors need a special permission from the lecturers.3 hrs
Wed09:15-12:00CAB G 56 »
P. Müller, M. Eilers
263-2812-00 AProgram Verification Special students and auditors need a special permission from the lecturers.1 hrsP. Müller, M. Eilers