SWT-ASV-M: Applied Software Verification (Übung)
SWT-ASV-M: Applied Software Verification (Übung) / Ersatztermin
SWT-ASV-M: Applied Software Verification (Vorlesung)
SWT-PR1-M Masterprojekt Softwaretechnik und Programmiersprachen
SWT-PR2-M: SWT Masters Project in Software Systems Science
SWT-SEM-M: Seminar Software Engineering and Programming Languages