Event-B Modelling Language

From Event-B
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

This 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.