Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings - Hankin, Chris; Siveroni, Igor (Springer Berlin Heidelberg, 2005)