Logic and Semantics of Programming Languages

Tutorial Organiser, Department of Computer Science, University of Kaiserslautern, 2019

Tutorials, exercises, and final exams organisation for Logic and Semantics of Programming Languages course winter semester 2019.