Rodin User Manual
From Event-B
Jump to navigationJump to searchThe original and now outdated version is available in PDF format here.
New material not yet included in the manual:
- This page was last modified on 27 October 2011, at 08:48.
- Privacy policy
- About Event-B
- Disclaimers