Difference between revisions of "Event-B Modelling Language"

From Event-B
Jump to navigationJump to search
imported>WikiSysop
(New page: Event-B modelling language in PDF format: [http://deploy-eprints.ecs.soton.ac.uk/11/3/notation-1.5.pdf])
 
imported>WikiSysop
Line 1: Line 1:
Event-B modelling language in PDF format:
+
Event-B modelling language
[http://deploy-eprints.ecs.soton.ac.uk/11/3/notation-1.5.pdf]
+
[http://deploy-eprints.ecs.soton.ac.uk/11/3/notation-1.5.pdf in PDF format]

Revision as of 12:30, 12 June 2008

Event-B modelling language in PDF format