Event-B Mathematical Language
From Event-B
Revision as of 15:28, 11 August 2008 by imported>Mathieu (add link to wiki doc)
Event-B mathematical language
- in PDF format
- 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)