Differences

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

--- resources [2011/02/15 02:42] – jonathan
+++ resources [2011/03/23 17:06] (current) – jonathan
@@ Line 13: / Line 13: @@
   * [[http://wiki.event-b.org/images/SM%26D-KAR.pdf|Textbook by Ken Robinson]]
   * [[http://deploy-eprints.ecs.soton.ac.uk/264/|Slides on Event-B used for Deploy Associate Training (Michael Butler)]]
+  * [[http://wiki.event-b.org/index.php/Inference_Rules|Inference Rules]]
 ====== Rodin Version 2.0.1 ======