textbook
Textbook
You will require the following textbook for this course:
- Course Kit: SC/CSE 3341.3.0M Introduction to Program Verification, Winter 2010. You may purchase this course kit through the York University Bookstore.
- The above course kit is based on the forthcoming text Modeling in Event-B.
- First two chapters of the forthcoming text (also in the course kit)
- See slides and other resources at Event-B documentation.
- Event-B course at UNSW. Event-B is also taught at ETH in Zurich.
textbook.txt · Last modified: 2010/01/06 18:50 by jonathan