Event-B Modelling Language
From Event-B
Revision as of 14:09, 15 September 2011 by imported>Ladenberger
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.