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
- See slides and other resources at Event-B documentation.
- Event-B course at UNSW. Event-B is also taught at ETH in Zurich.
textbook.1293810921.txt.gz · Last modified: by jonathan