%O Book 
%F sas2007
%T Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings
%B SAS
%E Nielson, Hanne Riis
%E Filé, Gilberto
%V 4634
%S Lecture Notes in Computer Science
%I Springer
%D 2007