AFADL – GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B

Conference on formal methods (FM 2018) – Oxford

The new version 4.4.2 of the AtelierB

Smart Event 2009 – Forcoment Project Presentation, developed with Atelier B

Conference : the B Method, from Research to Teaching

ABZ Conference 2008 from 16 to 18 September 2008, in London