Reserviert für Prüfung / SWT-PCC-M: Principles of Compiler Construction
SWT-ASV-M: Applied Software Verification