Contact

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

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.

You will also like:

Copy link
Powered by Social Snap