20 July 2020 Partager l'article linkedin facebook twitter CLEARSY presented the R&D it is conducting with STMicroelectronics at the B2007 Conference, as well as its graphic modeling tool applied to formal B methods: Brama Article précédent Article suivant
