Event-B:About

From Event-B
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

This is the documentation wiki for the Event-b.org site providing documentation for users and developers of the Rodin toolset.

If you are a user of the Rodin toolset or a plug-in developer and would like to contribute to the wiki, please contact Michael Butler mjb@ecs.soton.ac.uk explaining briefly the nature of the material you would like to contribute.