01470nam2-2200409li-450 99000020746020331620180312154846.03-540-61739-60020746USA010020746(ALEPH)000020746USA01002074620001109d1996----km-y0itay0103----baengGWStatic analysis3rd International symposium, SAS'96Aachen, Germany, September 24-26, 1996proceedingsRadhia Cousot ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996IX, 388 p.ill.23 cmLecture notes in computer science114500100202642001Lecture notes in computer sciencecongressiaachen1996elaboratori elettroniciprogrammazionecongressi19960051Programmazione. Tecnica di sviluppo dei programmiCousot,RadhiaInternational symposium SAS'963.Aachen1996754286Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000207460203316001 LNCS (1145)001978400100103917BKSCI1997020720001110USA011714ALANDI9020010201USA01153720020403USA011628PATRY9020040406USA011615Static analysis1517661UNISA