SWT-ASV-M: Applied Software Verification
SWT-PR1-M Masterprojekt Softwaretechnik und Programmiersprachen
SWT-SEM-M: Seminar Software Engineering and Programming Languages