SWT-ASV-M: Applied Software Verification
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