AVM 2014
From Numerical Transition Systems
Revision as of 15:06, 11 February 2014 by Radu iosif (Talk | contribs)
9th Alpine Verification Meeting, 12-14 May 2014, Frejus, Cote d'Azur, France
- == Hosted by CAES/CNRS Conference Center "Villa Clythia" ==
- Organized by Radu Iosif (VERIMAG/CNRS/University of Grenoble)
- Presentation flyer
- Past and future AVMs