Difference between revisions of "Event-B Modelling Language"

From Event-B
Jump to: navigation, search
 
Line 1: Line 1:
 +
This page gives a brief summary of documents describing Event-B's modeling notation.
 +
 
=Rodin Handbook=
 
=Rodin Handbook=
  

Latest revision as of 08:45, 27 October 2011

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.