01558nam2-2200433li-450 99000020490020331620180312154702.03-540-57264-30020490USA010020490(ALEPH)000020490USA01002049020001109d1993----km-y0itay0103----baengGWStatic analysisthird International workshop, WSA'93Padova, Italy, September 22-24, 1993proceedingsPatrick Cousot (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993IX, 283 p.ill.23 cmLecture notes in computer science72400100202642001Lecture notes in computer sciencealgoritmicongressi1993congressipadova1993elaboratori elettroniciprogrammazionecongressi1993linguaggi di programmazionecongressi19930051Programmazione. Tecnica di sviluppo dei programmiCousot,PatrickInternational workshop WSA'933.Padova1993746260Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204900203316001 LNCS (724)001528500100102970BKSCI1994120220001110USA011714ALANDI9020010129USA01170620020403USA011628PATRY9020040406USA011615Static analysis1489268UNISA