Nantes 2010 Conference : “From Research to Teaching Formal Methods – the B Method”

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.