| Datenstrukturen und Algorithmen |
B |
Katoen |
| Introduction to Model Checking |
B/M |
Katoen |
| Semantics and Verification of Software |
M |
Noll |
| Implementation of Heuristic Algorithms for Board Games (Practical Course) |
B |
Bruintjes |
| Principles of Programming Languages (Seminar) |
B/M |
Katoen/Noll |
| Verification of Probabilistic Programs (Block Seminar) |
M |
Olmedo |