Rodin User Manual

From Event-B
Revision as of 11:03, 10 July 2008 by imported>Mathieu
Jump to navigationJump to search

User manual

in PDF format
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)

New material not yet included in the manual: