AVM 2014

From Numerical Transition Systems

Revision as of 19:35, 27 April 2013 by Radu iosif (Talk | contribs) (→‎12-15 May 2014, Frejus, Cote d'Azur, France)

(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 Avm2014.pdf

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