ARES3: Oberseminar Software Science
SWT-FPS-B: Foundations of Program Semantics
SWT-SWL-B (Software Engineering Lab)
SWT-SWQ-M: Software Quality