Event-B Modelling Language
From Event-B
Jump to navigationJump to searchThis page gives a brief summary of documents describing Event-B's modeling notation.
Rodin Handbook
Rodin Handbook (Modeling Notation)
The original and now outdated version is available in PDF format here.
