CSE3341

User Tools

Site Tools

You are here: CSE 3341 3.0- Introduction to Program Verification » Textbook
Trace:
textbook

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
textbook [2010/01/06 18:46] – jonathantextbook [2010/01/06 18:50] (current) – jonathan
Line 7: Line 7:
   * [[http://www.event-b.org/abook.html|First two chapters]] of the forthcoming text (also in the course kit)   * [[http://www.event-b.org/abook.html|First two chapters]] of the forthcoming text (also in the course kit)
   * See slides and other resources at [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B documentation]].   * See slides and other resources at [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B documentation]].
 +  * Event-B [[http://www.cse.unsw.edu.au/~cs2111/COMP2111/|course]] at UNSW. Event-B is also taught at ETH in Zurich. 
  
  
textbook.1262803581.txt.gz · Last modified: by jonathan