SWT-ASV-M: Applied Software Verification (Übung)
SWT-ASV-M: Applied Software Verification (Übung) / Ersatztermin
SWT-FSE-B: Foundations of Software Engineering (Übung / Plenum)
SWT-PR1-B: Bachelorprojekt Softwaretechnik und Programmiersprachen
SWT-PR1-M Masterprojekt Softwaretechnik und Programmiersprachen
SWT-PR2-B: Bachelorprojekt Software Systems Science
SWT-PR2-M: SWT Masters Project in Software Systems Science