6.0/4.0 VU Formal Verification of Software (185.292)

This page provides information in addition to the course page in TISS.

Course material

• Slides: Part 1, Part 2

• Books:
  • D.Gries. The Science of Programming. Springer, 1981.

• Perfect Developer: Infos, Download