Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy August 26-28, 2004, Proceedings by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2004)