20 July 2020 Share this article linkedin facebook twitter CLEARSY will teach formal methods at the Ecole des Mines of Gardanne during the month of January 2010. These 18 hour courses will focus on introducing students to the method B. Previous article Next article