Differences

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

--- resources [2009/03/18 03:22] – jonathan
+++ resources [2009/05/07 17:34] (current) – jonathan
@@ Line 6: / Line 6: @@
   * [[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]]