GDR (depuis Janv. 2010)

Activités de recherche                                                    > Publications

Equipes :

Contact :
  HIVERT Florent

Pour en savoir plus : http://www.gdr-im.fr/

° AdaCore SAS avec Vérification d'Algorithmes, Langages et Systèmes


° LSV, ENS Cachan avec Vérification d'Algorithmes, Langages et Systèmes


° System X FSF avec Vérification d'Algorithmes, Langages et Systèmes


° International Joint Project MoBasT avec Vérification d'Algorithmes, Langages et Systèmes


° GDR Informatique Mathématique