Rodin User Manual

From Event-B

Jump to: navigation, search

Rodin Handbook

The original and now outdated version is available in PDF format here.

New material not yet included in the manual:

Retrieved from "http://wiki.event-b.org/index.php/Rodin_User_Manual"
Personal tools