Event-B Language: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Mathieu
m Robot: Changing Category:User Documentation
imported>WikiSysop
Line 4: Line 4:


[[Event-B Mathematical Language]]
[[Event-B Mathematical Language]]
==Modelling Tips==
[[Structured_Types]]


[[Category:User documentation]]
[[Category:User documentation]]
[[Category:Event-B]]
[[Category:Event-B]]

Revision as of 19:06, 7 May 2009

Event-B Language Documentation

Event-B Modelling Language

Event-B Mathematical Language

Modelling Tips

Structured_Types