textbook
This is an old revision of the document!
Textbook
- The following text is on reserve in SteacieModeling in Event-B.
- First two chapters of the text
- The slides for this course and other resources may be found at Event-B documentation.
- Event-B course at UNSW. Event-B is also taught at ETH in Zurich.
textbook.1293811004.txt.gz · Last modified: by jonathan