EADS FRANCE
Contact : Emmanuel.Chailloux (at) nulllip6.frDu 01/01/2010 au 31/12/2012
Combinaisons de domaines abstraits pour une analyse statique efficace et précise >> c'est de l'analyse statique de programmes par interprétation abstraite pour dégager des propriétés sur ceux-ci avant leurs exécutions
Eads FranceEADS
Emmanuel CHAILLOUX