AVM 2014
From Numerical Transition Systems
Revision as of 19:01, 27 April 2013 by Radu iosif (Talk | contribs)
9th Alpine Verification Meeting, 12-15 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 Avm2014.pdf
- Past and future AVMs