Rodin User Manual
From Event-B
The original and now outdated version is available in PDF format here.
New material not yet included in the manual:
The original and now outdated version is available in PDF format here.
New material not yet included in the manual: