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: 2010/12/31 15:55 by jonathan