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

• Department of CSE Home Page
• York Exam Schedule

• See chapters 1 and 2 of CSP by C.A.R. Hoare for examples and background to CSP.
• (2) PAT3 (also available under windows in Prism).

• Bertrand Meyer on the IEEE standard for specification