Publié le 26/05/2010 |

The University of Nantes is organizing the 3rd edition of the conference dedicated to B method. It will be held June 7, 2010, at the Cité Internationale des Congrès and will gather many actors of the B Community.

CLEARSY will participate and make a presentation of its B dissemination and exploitation activities over the past ten years through its Atelier B tool, used to develop proven systems and softwares.