ARES3: Oberseminar Software Science
SWE-FSE-B: Foundations of Software Engineering (Test Exam I )
SWT-ASV-M: Applied Software Verification (Vorlesung)
SWT-FSE-B: Foundations of Software Engineering (Vorlesung)
SWT-FSE-B:Foundations of Software Engineering (Test Exam II)
SWT-PR1-B: Bachelorprojekt Softwaretechnik und Programmiersprachen
SWT-PR1-M Masterprojekt Softwaretechnik und Programmiersprachen
SWT-PR2-B: Bachelorprojekt Software Systems Science
SWT-RSD-B: Reactive Systems Design
SWT-SEM-B: Seminar Software Engineering and Programming Languages