Event-B Modelling Language

From Event-B

Jump to: navigation, search

Event-B modelling language

in wiki format
translated from the original version, and being updated.
in PDF format
the pdf original version is also available, but now very out of date.
Retrieved from "http://wiki.event-b.org/index.php/Event-B_Modelling_Language"
Personal tools