La conférence internationale Computer Aided Verification débute demain à Grenoble

25 Juin 2009

La CAV retrouve la capitale des Alpes 20 ans après sa première édition en 1989.

Dès demain et jusqu'au 2 juillet, 350 scientifiques venus du monde entier sont donc attendus à Grenoble.