Organisation
LIC | Ken Robinson | kenr | K17 208 | 9385 4045 |
Tutor | Xiao Di Guan | xdg@cse.unsw.edu.au | | |
| | | | |
Activity | Time(s) | Place | UNSW Grid |
Lecture | Mon 0900–1100 | Law Theatre G23 | K-FB-G23 |
Lecture | Wed 1200-1300 | Law Theatre G02 | K-FB-G02 |
Tutorial | Wed 1300-1400 | ASB 114 | K-E12-114 |
Tutorial | Wed 1400-1500 | ASB 114 | K-E12-114 |
|
News and Information
-
Assignment 2:
- Assignment 2 is now available
-
Assignment 1:
- has been released and may be found on the Assignment page.
-
Using Wiki:
- To use the wiki you should login with your cse login.
-
Rodin:
- Please see Rodin page for most recent information on Rodin, the
Event-B workbench.
-
Textbook
- the most recent copy of the textbook is now available. See Event B
link.
-
EventB Summary:
- the most recent copy of the EventB summary, both full
and refcard size, is now available.