Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings - Siveroni, Igor; Hankin, Chris (Lecture Notes in Computer Science,)