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
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4634 ) e outros locais(Acessar)