Blog de Claire.Pagetti https://gdr-gpl.cnrs.fr/blog/88 fr Journée: AFSEC "méthodes formelles pour la sécurité" 21 juin 2017 https://gdr-gpl.cnrs.fr/node/282 Mon, 24 Apr 2017 15:07:58 +0000 Claire.Pagetti 282 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/282#comments Journée “solveurs SMT dans le contexte des systèmes embarqués critiques”. 29 Mars 2016 https://gdr-gpl.cnrs.fr/node/227 Mon, 07 Mar 2016 09:17:34 +0000 Claire.Pagetti 227 at https://gdr-gpl.cnrs.fr https://gdr-gpl.cnrs.fr/node/227#comments