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.