Event-B Mathematical Language

From Event-B
Revision as of 15:05, 31 October 2008 by Mathieu (talk | contribs) (No wiki format will be produced.)
Jump to: navigation, search

Event-B mathematical language

in PDF format
original version.