Atelier B 4.x at Reliable Software Workshop (Paris)

The  Journées  sur la Fiabilité du Logiciel organized  on June 14-15, 2012 by the Initiative de Recherche et Innovation sur le Logiciel Libre  and the Groupe Thématique Logiciel Libre du pôle System@tic adress validation, certification, proof and code analysis. 

At this occasion, Atelier B  and its applications will be presented.

Ce contenu a été publié dans Event, Tools. Vous pouvez le mettre en favoris avec ce permalien.

2 réponses à Atelier B 4.x at Reliable Software Workshop (Paris)

  1. ClearSy dit :

    The Atelier B versions before 4.0 are only accessible by maintenance contract holders. It is not free, as for the version 4.0+.

  2. shawn dit :

    Hello, where can I get the older version of Atelier B? E.g. 3.7.2

Laisser un commentaire