SWT-ASV-M: Applied Software Verification
SWT-SEM-B: Seminar Software Engineering and Programming Languages
SWT-SEM-M: Seminar Software Engineering and Programming Languages