Further Reading and Links


Textbook about programming language semantics and proof in Isabelle. We will mainly use the first part about proof in Isabelle, and some of the later chapters on program verification.

Further Reading

Documentation and publications that go deeper into the topics covered in the lecture.


Tools and websites mentioned in the lecture.