Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings - Nielson, Hanne Riis; Filé, Gilberto (Springer Berlin Heidelberg, 2007)