Thierry Lecomte

Version 4.5 of Atelier B

Version 4.5 of Atelier B

Atelier B 4.5.0 is a Community Edition version, freely downloadable This version fixes, cumulatively  since version 4.2.1, 146 bugs and several...

Version 4.5 of Atelier B

International conference SBMF 2017

CLEARSY will participate to the international conference SBMF 2017 (http://sbmf2017.cin.ufpe.br/) on formal methods that will take place on November...