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 [2010/03/21 22:27] (current) – jonathan
@@ Line 5: / Line 5: @@
   * [[http://www.cse.yorku.ca|Department of CSE Home Page]]
   *   [[https://w2prod.sis.yorku.ca/Apps/WebObjects/cdm.woa/wa/curexam|York Exam Schedule]]
+====== Event-B ======
+  * [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B slides]] (this course uses qa modified version of these slides)
+  * [[http://wiki.event-b.org/index.php/Rodin_Provers|How to use the provers]]