Atelier B Graphical User Interface

Add a Review
0 Downloads (This Week)
Last Update:
  Browse Code SVN Repository



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.

Atelier B Graphical User Interface Web Site

Update Notifications

Write a Review

User Reviews

Be the first to post a review of Atelier B Graphical User Interface!

Additional Project Details

User Interface

Project is a user interface (UI) system

Programming Language




Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.