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: