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.
Follow Atelier B Graphical User Interface
Rate This ProjectLogin To Rate This Project
Be the first to post a review of Atelier B Graphical User Interface!