![CSSP présentée au Workshop on Software Development Technology](https://www.clearsy.com/wp-content/uploads/2018/12/ifrn-central-talk.jpg)
21 July 2020
At IFRN-Central (Natal/Brazil), the development of proven software with the B method and their execution on the CLEARSY Safety Platform was presented to a number of studentds and teachers in Computer Science.