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.