Rodin Handbook





 

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.