Rodin Tutorials

From Event-B
Revision as of 16:57, 15 July 2008 by Mathieu (talk | contribs) (layout change)
Jump to: navigation, search

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)