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.3.5 How can I create a new Event-B Project?
Please read Section 2.4.2 to learn how to create a new Event-B project.
|
|
|
|
|
|