Rodin Handbook
The work on this Handbook is initiated and supported by the DEPLOY Project.
More information about this project is available at the Rodin Wiki.
Continuous build
The following artifacts are generated from the current Subversion repository:
An Eclipse Update Site is available under: http://handbook.event-b.org/updatesite
Release December 4, 2014
The following artifacts are generated from the current Subversion repository:
Release April 4, 2012
The following artifacts are generated from the current Subversion repository:
Queries? Please contact:
Heinrich-Heine-University, Software und Programmiersprachen:
To Website.
Privacy Policy (Datenschutz).