Differences

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

--- resources [2012/01/18 21:01] – jonathan
+++ resources [2012/02/13 17:13] (current) – jonathan
@@ Line 16: / Line 16: @@
   * [[http://handbook.event-b.org/|Rodin Handbook]] (also FAQs) (also [[http://handbook.event-b.org/current/html/|here]])
-====== Rodin Version 2.0.1 ======
+====== Rodin Version 2.3 ======
 Rodin/Eclipse works on Win/Mac/Linux. Go to the [[http://www.event-b.org/platform.html|Rodin install site]]. You should install:
@@ Line 26: / Line 26: @@
 You can obtain a ready to run Rodin/Win32 version from SVN → Rodin
+====== Background resources ======
+  *[[http://www.fm4industry.org/index.php/Evidence_on_Formal_Methods_uses_and_impact_on_Industry| Use of formal methods in industry]]