20 July 2020
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 (conference report…)
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 (conference report…)