Coverif
Contact : Antoine.Mine (at) nulllip6.frDu 01/10/2015 au 30/09/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 NANTESANR
Antoine MINE