Validation of critical software by static analysis and abstract testing

 Public documents produced by the DAEDALUS project

This page contains the public documents produced by the DAEDALUS project. Due to copyrights restrictions, the electronic version of some of these publications is accessible online only to DEADALUS participants and commission project officers. It is available in printed form from the publishers for the general public.

Copyright notice       ACM copyright notice       Springer-Verlag copyright notice
Retour à / back to: DAEDALUS, P. Cousot: Index, Institutions, Enseignement / Teaching, Recherche / Research, Services
Email: cousot@di.ens.fr, cousotp@acm.org
Dernière mise à jour / Last modified : Wednesday, 04-Jun-2003 12:39:58 CEST