I-CAV 2023 à Paris!
La 35ème conférence internationale sur la vérification assistée par ordinateur se tiendra à Paris, dans la prestigieuse Maison de la Chimie ; Dakini-PCO a été choisi comme PCO officiel pour coordonner cet événement.
La 35ème conférence internationale sur la vérification assistée par ordinateur se tiendra à Paris, dans la prestigieuse Maison de la Chimie ; Dakini-PCO a été choisi comme PCO officiel pour coordonner cet événement.