- 4.1.1 Where can I get help?
- 4.1.2 What is Event-B?
- 4.1.3 What is the difference between Event-B and the B method?
- 4.1.4 What is Rodin?
- 4.1.5 Where does the Rodin name come from?
- 4.1.6 Where I can download Rodin?
- 4.1.7 How to contribute and develop?
- 4.1.8 My operating system is not supported! How can I install Rodin on my platform?
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 |  |
 |
 |
4.1 General Questions
|
|
|
|
|
|