Rodin User Manual
From Event-B
Revision as of 14:04, 19 September 2011 by imported>Ladenberger
Do not edit! This content has been migrated to Subversion. |
---|
(Nightly Handbook Build) |
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: