Static analysis 4th International Symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings
International Static Analysis Symposium (4th 1997 Paris, France) Pascal Van Hentenryck
Berlin Springer New York c1997
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1302 ) e outros locais(Acessar)