Event-B Modelling Language
From Event-B
Revision as of 08:44, 27 October 2011 by imported>Ladenberger
Rodin Handbook
Rodin Handbook (Modeling Notation)
The original and now outdated version is available in PDF format here.
Rodin Handbook (Modeling Notation)
The original and now outdated version is available in PDF format here.