Event-B Modelling Language
From Event-B
Revision as of 20:28, 10 September 2008 by imported>Mathieu (Robot: Changing Category:User Documentation)
Event-B modelling language
- in PDF format
- Original version
- in wiki format
- translated from the original version, and being updated (some formulas are not yet rendered well, but the problem is being worked out)