COMP2111: System Modelling & Design
February 6, 2012
EventB Directories ![[Picture]](../Icons/pdf.gif){kind=icon}
- EventB Concise Summary
- This summary aims to summarise all of EventB
on a single double-sided sheet of paper.
- EventB reference card. Print back to back.
- EventB Concise summary. Full page version
- System Modelling & Design textbook
- Can be found here.
- Rodin manual
- This manual is the official manual for the Rodin toolkit.
- EventB Language document
- EventB Language.
- bsymb.sty
- LATEX markup package for Event-B.