01788nam0 22003973i 450 AQ1000324220251003044040.00387572643New York3540572643Berlin20111216d1993 ||||0itac50 baengdez01i xxxe z01nz01ncRDAcarrierStatic analysisthird international workshop, WSA '93Padova, Italy, September 22-24, 1993proceedingsPatrick Cousot ... [et al.] (eds.)Berlin [etc.]Springerc1993IX, 283 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis724001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis724702 1Goos, GerhardAQ1V006441340ELABORATORI ELETTRONICIPROGRAMMAZIONECONGRESSI1993FIRMILC077080I005.1PROGRAMMAZIONE14005.1PROGRAMMAZIONE22ConvegniCongressi e convegniCongressiConvegniCongressiCongressi e convegniCousot, Patrick <1948- >AQ1V001698International workshop WSA '93 <3. ; 1993 ; Padova>AQ1V001697070714574Workshop on Static Analysis <3. ; 1993 ; Padova>AQ1V001699International workshop WSA '93 <3. ; 1993 ; Padova>ITIT-00000020111216IT-BN0095 AQ10003242Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000013055 VMA A4724 v. 724Y 1994090820111216 01Static analysis1381902UNISANNIO