Here we collect slides of university lectures, tutorials and talks covering some of the contents of the book. Feel free to post your own slides, get in touch with the authors or use them in your own teaching with appropriate credits to the source.
The module at the University of Marburg on Formal Methods in Software Engineering covers