Further Reading and Links

Textbook:

  • Tobias Nipkow and Gerwin Klein: Concrete Semantics.
    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:

Links: