Formal methods in computer science (FGdI 2010)

In 2010, I held a course on Formale Grundlagen der Informatik for the students in Computer Science from the University of Zürich.