01913nam0 22003493i 450 AQ1000324220240712062436.00387572643New York3540572643Berlin20111216d1993 ||||0itac50 baengdez01i xxxe z01nStatic 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. Hartmanis724Elaboratori elettroniciProgrammazioneCongressi1993FIRNAPC242171I005.1PROGRAMMAZIONE14005.1PROGRAMMAZIONE22Cousot, Patrick <1948- >AQ1V001698International workshop WSA '93 <3. ; 1993 ; Padova>AQ1V001697070714574Workshop on Static Analysis <3. ; 1993 ; Padova>AQ1V001699International workshop WSA '93 <3. ; 1993 ; Padova>ITIT-NA007920111216IT-BN0095 AQ10003242Biblioteca Centralizzata di Ateneov. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889193 v. 01COLL. ING. LNCS 0102 0000013055 B A4724 v. 7243 1994090820111216 01Static analysis1381902UNISANNIO