Concrete Semantics
Slides
Part I: Isabelle
Part II: Semantics
LaTeX/Beamer sources are available upon request.
Home
Download PDF
Springer book
Isabelle theories
Slides
Exercises
Isabelle
