Coverif

Contact : Antoine.Mine (at) nulllip6.fr
From 10/01/2015 to 09/30/2020

Vers une combinaison de l'interprétation abstraite et de la programmation par contraintes pour la v"réification de propriété critiques pour des programmes embarqués avec des calculs en virgule flottante

CNRS IDF SECTEUR OUEST NORD,CNRS CENTRE REGIONAL COTE D'AZUR,UNIVERSITE DE NANTES
ANR

Antoine MINE