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

10 June 2019
Read more

Conference on formal methods (FM 2018) – Oxford

27 June 2018
Read more

The new version 4.4.2 of the AtelierB

13 January 2017
Read more

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

9 October 2009
Read more

Conference : the B Method, from Research to Teaching

10 May 2008
Read more

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

5 May 2008
Read more