Courses in WS 2018/19 NumberCoursesL.079.05102ModellierungL.079.05709Model CheckingL.079.08006Software Testing