EADS FRANCE

Contact : Emmanuel.Chailloux (at) nulllip6.fr
Du 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 France
EADS

Emmanuel CHAILLOUX