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

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


  * [[https://wiki.cse.yorku.ca/lab/sel/tutorial:start|Spin tutorial]]
  * [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B language and mathematics]]
    * [[http://wiki.event-b.org/index.php/Mailing_lists|Rodin forums]]
    * [[http://wiki.event-b.org/index.php/Rodin_Provers|Event-B Theorem Provers]]
  * [[http://www.atelierb.eu/index-en.php|Atelier B Tool]]