20 July 2020
CLEARSY now teaches courses on the formal methods at the Bourges École nationale supérieure d’ingénieurs (ENSI de Bourges):
- Software specifications
- Design and secured programming
Timetabled over 20 hours, these courses are intended for 3rd year students in the “°Architecture and Software Security°” option.