Contribute to the Rodin Platform as a User or Developer
The Rodin platform was developed by researchers from ETH Zurich, Systerel, Clearsy, and the University of Southampton.
The Event-B.org site is maintained
by members of the Dependable Systems and Software Engineering Research Group at the University of Southampton.
If you are interested in contributing to Rodin please contact
Michael Butler.
|