Course pages 2011–12
Interactive Formal Verification
- Practical exercises, both practice and assessed
- The associated Isabelle theory files
The due date for the second assessed exercise has been extended to Monday, 18 June.
Course pages 2011–12
The due date for the second assessed exercise has been extended to Monday, 18 June.