20 July 2020 Share this 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 Previous article Next article
