SWT-ASV-M: Applied Software Verification
SWT-FSE-B: Foundations of Software Engineering
SWT-FSE-B: Foundations of Software Engineering (Vorlesung)