resources
Resources
Use this page to list additional Resources that may be helpful to your students.
Event-B
- Event-B slides (this course uses qa modified version of these slides)
resources.txt · Last modified: 2010/03/21 22:27 by jonathan