Arrêt de service lundi 11 juillet de 12h30 à 13h : tous les sites du CCSD (HAL, Epiciences, SciencesConf, AureHAL) seront inaccessibles (branchement réseau à modifier)
Catherine Oriat, Roland Groz, Emmanuel Perrier. SIMPA - Simpa Infers Models Pretty Automatically (Outils). Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'16), Jun 2016, Besançon, France. ⟨hal-01415892⟩