Differences

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

--- textbook [2010/01/06 18:46] – jonathan
+++ textbook [2010/01/06 18:50] (current) – jonathan
@@ Line 7: / Line 7: @@
   * [[http://www.event-b.org/abook.html|First two chapters]] of the forthcoming text (also in the course kit)
   * See slides and other resources at [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B documentation]].
+  * Event-B [[http://www.cse.unsw.edu.au/~cs2111/COMP2111/|course]] at UNSW. Event-B is also taught at ETH in Zurich.