AVM 2014

From Numerical Transition Systems

Revision as of 18:34, 27 April 2013 by Radu iosif (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

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 [File:Avm2014.pdf]

Retrieved from "http://nts.imag.fr/index.php?title=AVM_2014&oldid=116"