Static analysis : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004 ; proceedings / - Giacobazzi, Roberto. (Springer, 2004)