Textbook

There is no required text. The Event-B site (see below) has slides and aditional material for this course. Also, consult the SVN.

• The following recommended 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.