Systerel will take part to the workshop « Sound Static Analysis for Security » at the NIST (National Institute of Standards and Technology) in Maryland (USA) on June 27th and 28th this year.
Systerel, a key player for the industrial implementation of formal methods for more than 15 years, will attend the 6th edition of the ABZ international conference in Southampton (UK) from June 5th to June 8th.
