Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007: Proceedings - International Static Analysis Symposium 2007 : Lyngby, Denmark); Nielson, hanne Riis.; File, Gilberto; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer programming -- Congresses; Programming languages (Electronic computers) -- Congresses; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering