Current Developments
From Event-B
One single View
The goal of this project is to present everything in a single view in Rodin. So the user won't have to switch perspectives.
The goal of this project is to present everything in a single view in Rodin. So the user won't have to switch perspectives.