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

For information on Event-B/Rodin, see [[https://wiki.eecs.yorku.ca/project/sel-students/p:tutorials:eventb:start|resources]] (login at bottom right)


====== Other Resources ======

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