Static analysis proceedings [of the] third international symposium, sas'96, held in aachen, germany, september 24-26, 1996

International Static Analysis Symposium (3. 1996 Aachen, De) Radhia Cousot; David Schmidt

Berlin Springer 1996

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