resources
This is an old revision of the document!
Resources
Use this page to list additional Resources that may be helpful to your students.
Event-B
- Event-B slides (this course uses a modified version of these slides)
resources.1293815535.txt.gz · Last modified: by jonathan