SWT-ASV-M: Applied Software Verification
SWT-FSE-B: Foundations of Software Engineering
SWT-PR1-M: SWT Masters Project in Software Systems Science
SWT-RSD-B: Reactive Systems Design
SWT-SEM-B: Seminar Software Engineering and Programming Languages
SWT-SEM-M: Seminar Software Engineering and Programming Languages
SWT-SWP-B Software Engineering Project