Static analysis First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings
International Static Analysis Symposium (1st 1994 Namur, Belgium) Baudouin Le Charlier 1950-
Berlin New York Springer-Verlag c1994
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.864 e.1 ) e outros locais(Acessar)