| Theoretical Foundations of the UML |
M |
Katoen |
| Concurrency Theory |
M |
Katoen/Noll |
| Semantics and Verification of Software |
M |
Noll |
| Programming Language Design and Implementation (Seminar) |
B/M |
Noll |
| Foundations of Probabilistic Programming (Seminar) |
B/M |
Katoen |
| Introduction to Program Analysis (Proseminar) |
B |
Katoen/Noll |