====== 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)

====== SEL Virtual Machine ======

The SEL Virtual Machine is available [[http://dl.eecs.yorku.ca/sel/eecs-vbox-sel-latest.ova|here]]. For further help, see [[http://seldoc.eecs.yorku.ca/doku.php/eiffel/virtualbox/start|here]] (login for the password to access the VM).

====== 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]]