Le CETIC va présenter : Survey and Consistency Checking of Formal Requirements Animations
Date: 21 septembre 2021
Evènement: Interventions CETIC ⊕
A propos du projet: Flaracc ⊕
Contact : Christophe Ponsard
