I-CAV 2023 in Paris!

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.

 

RSS feed