Publié le 02/11/2009 |

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.