Atelier B Graphical User Interface
Description
The project contains the Atelier B graphical interface source code. Atelier B is a CASE tool, based on the B language, allowing the development of mathematically proved, default free software.
Categories
License
Update Notifications
User Reviews
Be the first to post a review of Atelier B Graphical User Interface!