Event-B Modelling Language

From Event-B
Revision as of 14:09, 15 September 2011 by imported>Ladenberger
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.
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.
Retrieved from ‘https://wiki.event-b.org/index.php?title=Event-B_Modelling_Language&oldid=4186’