Differences

This shows you the differences between two versions of the page.

--- resources [2007/07/31 18:59] – external edit 127.0.0.1
+++ resources [2009/05/07 17:34] (current) – jonathan
@@ Line 3: / Line 3: @@
 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]]
+  * [[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]]