AVM 2014
From Numerical Transition Systems
Revision as of 15:05, 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 ==
