20 July 2020 Partager l'article linkedin facebook twitter Presentation by CLEARSY on the verification of Statecharts with the B Method. Article précédent Article suivant