Version 3.7.1 of Atelier B is now available. It has corrected the minor anomalies of Atelier B on the proof type and interface verifier and compatibility with...
Thierry Lecomte
Rodin Industry Day
We have the pleasure of informing you that CLEARSY are organising the Rodin Industry Day 2007. The event will take place in Paris on the 10th September 2007....