Computer Aided Verification
événement conférence scientifique annuelle en vérification automatique
Aussi : CAV
Nature : série de conférences scientifiques
Catégories : conférences et sommets · politique et diplomatie · événements
Mots du lexique : computer nom commun