Resources
Use this page to list additional Resources that may be helpful to your students.
Spin tutorial
Event-B language and mathematics
Rodin forums
Event-B Theorem Provers
Atelier B Tool