Difference between revisions of "Event-B Modelling Language"

From Event-B
Jump to: navigation, search
m
m (Robot: Changing Category:User Documentation)
Line 3: Line 3:
 
;[[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)''
 
;[[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:User documentation]]
 
[[Category:Event-B]]
 
[[Category:Event-B]]

Revision as of 20:28, 10 September 2008

Event-B modelling language

in PDF format
Original version
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)