Event-B Modelling Language

From Event-B
Revision as of 13:20, 7 May 2009 by imported>Laurent (→‎Event-B modelling language)
Jump to navigationJump to search

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=4185’