Difference between pages "Event-B Modelling Language" and "File:Disable xp prover.png"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Mathieu
m (Robot: Changing Category:User Documentation)
 
(Maintenance script uploaded File:Disable xp prover.png)
 
Line 1: Line 1:
−
== Event-B modelling language ==
 
−
;[http://deploy-eprints.ecs.soton.ac.uk/11/3/notation-1.5.pdf in PDF format]: Original version
 
−
;[[Index (Modelling Language)|in wiki format]]: translated from the original version, and being updated  ''(some formulas are not yet rendered well, but the problem is being worked out)''
 
  
−
[[Category:User documentation]]
 
−
[[Category:Event-B]]
 

Latest revision as of 20:49, 30 April 2020

Retrieved from ‘https://wiki.event-b.org/index.php?title=Event-B_Modelling_Language&oldid=13509’