Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010

CLEARSY > News > Exhibitions/conferences > Teaching Formal Methods at the Ecole des Mines of Gardanne in 2010
20 July 2020

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.