-
-
FM2012 ♦ International symposium on Formal Methods FM2012 est le 18e colloque organisé par l'association indépendante Formal Methods Europe, dont le but est de développer l'usage et la recherche sur les méthodes formelles de développement de logiciels.
Il réunit des innovateurs et des utilisateurs de méthodes mathématiques spécifiques pour le développement de systèmes et de logiciels, ainsi que des chercheurs.
27 août 2012 - 31 août 2012 | Paris: Saint-Martin/Conté
Au Musée des arts et métiers
jusqu'au 2 septembre
Pour recevoir l'agenda par courrier électronique