resources
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| resources [2007/07/31 18:59] – external edit 127.0.0.1 | resources [2009/05/07 17:34] (current) – jonathan | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| Use this page to list additional Resources that may be helpful to your students. | Use this page to list additional Resources that may be helpful to your students. | ||
| - | | + | |
| - | * | + | |
| + | * [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B language and mathematics]] | ||
| + | * [[http://wiki.event-b.org/index.php/Mailing_lists|Rodin forums]] | ||
| + | * [[http:// | ||
| + | * [[http:// | ||
resources.1185908369.txt.gz · Last modified: 2009/03/09 03:01 (external edit)