Rodin User Manual

From Event-B
Revision as of 09:02, 7 July 2008 by imported>Mathieu (Link to the in wiki format)
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:

Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_User_Manual&oldid=8796’