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/01/06 18:41] – 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)