Core Subjects Theoretical Foundations of SSE
| Name | Course Type | Name | Credits | ID |
|---|
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 521373 |
| () Übung | Introduction to Model Checking | 0 | 521372 |
| Erfüllbarkeitsüberprüfung | () Vorlesung/Übung | Erfüllbarkeitsüberprüfung | | 511645 |