====== Resources ======

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

  * [[http://www.cse.yorku.ca|Department of CSE Home Page]]
  *   [[https://w2prod.sis.yorku.ca/Apps/WebObjects/cdm.woa/wa/curexam|York Exam Schedule]]

====== Event-B ======

  * [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B slides]] (this course uses qa modified version of these slides)
  * [[http://wiki.event-b.org/index.php/Rodin_Provers|How to use the provers]]