Use this page to list additional Resources that may be helpful to your students.

• Department of CSE Home Page
• York Exam Schedule

• Event-B slides (this course uses qa modified version of these slides)
• How to use the provers