I-CAV 2023 in Paris!
The 35th international conference on computer aided verification will be held in Paris, at the prestigious Maison de la Chimie; Dakini-PCO has been chosen as official PCO to coordonate this event.
The 35th international conference on computer aided verification will be held in Paris, at the prestigious Maison de la Chimie; Dakini-PCO has been chosen as official PCO to coordonate this event.