![CSSP présentée au Workshop on Software Development Technology](https://www.clearsy.com/wp-content/uploads/2018/12/ifrn-central-talk.jpg)
7 décembre 2018
A IFRN-Central (Natal/Brésil), un exposé a présenté à des étudiants et enseignants en informatique le développement de logiciels prouvés avec la méthode B et leur exécution sur la CLEARSY Safety Platform.