× Static Analysis11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedingsherausgegeben von Roberto GiacobazziIncludes supplementary material: sn. pub/extras