Guest lecture in the LIACS course

Formal Methods for Software Engineering

A very short introduction to the tools and concepts you need to read simple Z specifications; with propositional logic and set theory.

Presentation 2.11'11
Exercises
Solutions (selected)