Overview
| Professor | Dr.Ā Florian Bruse |
| Lecture | Tuesday 14:15-15:45 and Wednesday 08:30-10:00 in Galileo (8120.EG.001) |
| Tutorial | Thursday 10:15-12:00 |
| Language | English |
| TUMonline Course | IN2055 |
All material will be published on Moodle.
Semantics of Programming Languages
Chair for Logic and Verification
