Difference between revisions of "Event-B Mathematical Language"

From Event-B
Jump to navigationJump to search
imported>WikiSysop
imported>Mathieu
m
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 format]
 
[http://deploy-eprints.ecs.soton.ac.uk/11/2/mathLanguage-2007-10-26.pdf in PDF format]
 +
 +
 +
[[Category:User Documentation]]
 +
[[Category:Event-B]]

Revision as of 10:57, 10 July 2008

Event-B mathematical language in PDF format