| Name | Course Type | Name | Credits | ID |
|---|---|---|---|---|
| Formale Methoden für Steuerungssoftware | () Vorlesung/Übung | Formale Methoden für Steuerungssoftware | 6 | 510423 |
| Software Language Engineering | () Vorlesung/Übung | Software Language Engineering | 0 | 525948 |
| () Projekt | Projektarbeit Software Language Engineering | 6 | 526175 |