Difference between revisions of "Event-B Mathematical Language"

From Event-B
Jump to: navigation, search
Line 1: Line 1:
 
Event-B mathematical language  
 
Event-B mathematical language  
[http://deploy-eprints.ecs.soton.ac.uk/11/2/mathLanguage-2007-10-26.pdf in PDF forma]
+
[http://deploy-eprints.ecs.soton.ac.uk/11/2/mathLanguage-2007-10-26.pdf in PDF format]

Revision as of 12:29, 12 June 2008

Event-B mathematical language in PDF format