News and Information
- Assignment 2 is now available
- has been released and may be found on the Assignment page.
- To use the wiki you should login with your cse login.
- Please see Rodin page for most recent information on Rodin, the
- the most recent copy of the textbook is now available. See Event B
- the most recent copy of the EventB summary, both full
and refcard size, is now available.