Contrat (Production scientifique) - Laboratoire de Recherche en Informatique

Contrat de l'équipe Vérification d'Algorithmes, Langages et Systèmes

		DIM COQUELICOT DIGITEO Sept. 2011 - Août 2014 Equipe : Vérification d'Algorithmes, Langages et Systèmes Responsable : BOLDO Sylvie Gestionnaire : Organisme gérant : INRIA
DIM COQUELICOT -Convention Projet 2011-039D Activités de recherche Formalisation et preuves de programmes numériques Formalisation de langages (de spécification et de programmation) dans les assistants de preuve Membres LRI BOLDO Sylvie MELQUIOND Guillaume Pour en savoir plus : http://coquelicot.saclay.inria.fr/