Static analysis 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark August 22-24, 2007 : proceedings
International Static Analysis Symposium (14th 2007 Lyngby, Denmark) Hanne Riis Nielson 1954; Gilberto Fil e 1951
Berlin Springer c2007
Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4634 ) and other locations(GetIt)