Event-B Mathematical Language

From Event-B
Revision as of 15:28, 11 August 2008 by imported>Mathieu (add link to wiki doc)
Jump to navigationJump to search

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)
Retrieved from ‘https://wiki.event-b.org/index.php?title=Event-B_Mathematical_Language&oldid=4163’