Numéros de Téléphone Cousot David
Profils Twitter
Profils Myspace
ASTREE - The Astrée Static Analyzer
A static analyzer analyzes reactive, critical, real-time programs written in the C programming language and looks for runtime errors.
http://www.astree.ens.fr/
