Rodin Tutorials
From Event-B
Revision as of 16:56, 15 July 2008 by imported>Mathieu (link for the wiki version)
Tutorials
Tutorial 1 (celebrity, doors, galois, closure):
- document and project archives
- original and somewhat outdated version
- in wiki format
- translated from the original version, and being updated (some formulas are not yet rendered well, but the problem is being worked out)