Event-B Mathematical Language

From Event-B
Revision as of 15:05, 31 October 2008 by Mathieu (talk | contribs) (Event-B mathematical language)
Jump to: navigation, search
in PDF format
original version.