%0 Book %A Roberto Giacobazzi )ed.( %T Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings %U /book/92023759/Static-analysis-11th-international-symposium-SAS/