-
Notifications
You must be signed in to change notification settings - Fork 2
Home
Thái Sơn Hoàng edited this page Aug 25, 2022
·
5 revisions
This is the main page for the development procedures for our research group at the University of Southampton). The research relates to the Event-B modelling method and the supporting Rodin Platform.
- Introduction - a brief introduction to the Rodin platform and an overview of the EventB-Soton group.
- Related repositories - links to related repositories.
If you notice any incorrect information or have a good idea for improvement, please add it to the Issues page.
© University of Southampton