21 July 2020
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.