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.

Project Samples

Project Activity

See All Activity >

Categories

User Interfaces

Follow Atelier B Graphical User Interface

Atelier B Graphical User Interface Web Site

Other Useful Business Software

Focus on your Business with an integrated Business Cloud Focus on your Business with an integrated Business Cloud Icon
Focus on your Business with an integrated Business Cloud Icon

Reliable & Secure Business Phone Systems

  • No contracts, no cancellation fees, over 40 features
  • 99.999% financially backed uptime SLA
  • Free, expert support, certified by J.D. Power

Rate This Project

Login To Rate This Project

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

C++

Registered

2008-08-13