4 octobre 2007
L’Atelier B 3.7 est disponible depuis le 18/07/2007. Il apporte de nombreuses améliorations aux fonctionnalités de l’Atelier B afin de faciliter le travail du développeur en agissant sur l’interface utilisateur, la preuve et l’aspect système. Plus d’informations sur l’Atelier B 3.7…