Static Analysis 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings - Giacobazzi, Roberto (Springer Berlin Heidelberg, 2004)