Event-B Modelling Language

From Event-B

Revision as of 15:04, 31 October 2008 by imported>Mathieu

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump 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.

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.

Retrieved from ‘https://wiki.event-b.org/index.php?title=Event-B_Modelling_Language&oldid=4184’

Navigation menu