Rodin Platform Bundles that includes features developed by our group. Information about the Rodin Platform Bundles are in the Wiki.
eventb-soton / rodin-bundles Goto Github PK
View Code? Open in Web Editor NEWRodin Platform Bundles that include features developed by our group
License: Eclipse Public License 2.0