Event-B Modelling Language
From Event-B
Revision as of 15:04, 31 October 2008 by imported>Mathieu
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.