- 1.2.1 Modeling in Event-B: System and Software Engineering, J.-R. Abrial (2010)
- 1.2.2 Rodin: An Open Toolset for Modelling and Reasoning in Event-B (2009)
- 1.2.3 The B-Method, an Introduction (Steve Schneider)
- 1.2.4 Event-B Cookbook
- 1.2.5 Proofs for the Working Engineer (2008)
- 1.2.6 The Proof Obligation Generator (2005)
Rodin Handbook
This work is sponsored by the Deploy Project
This work is sponsored by the ADVANCE Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
Rodin User’s Handbook v.2.8 |  |
 |
 |
1.2 Further Reading
In this section, we present a selected list of reading materials that provide information that is not covered in this handbook.
|
|
|
|
|
|