Event-B Modelling Language

From Event-B
Revision as of 14:09, 15 September 2011 by imported>Ladenberger
Jump to navigationJump to search
Do not edit! This content has been migrated to Subversion.
(Nightly Handbook Build)

Event-B modelling language

in wiki format
translated from the original version, and being updated.
in PDF format
the pdf original version is also available, but now very out of date.