Static analysis 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings

International Static Analysis Symposium (8th 2001 Paris, france) Patrick Cousot 1948-

Berlin Springer New York c2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2126 ) e outros locais(Acessar)