01578nam2-2200445li-450 99000020909020331620180312154742.03-540-66459-90020909USA010020909(ALEPH)000020909USA01002090920001109d1999----km-y0itay0103----baengGWStatic analysis6th International symposium, SAS '99Venice, Italy, September 22-24, 1999proceedingsAgostino Cortesi ...[et al.] (eds.);BerlinSpringer-Verlagcopyr. 1999VIII, 356 p.ill.22 cmLecture notes in computer science169400100202642001Lecture notes in computer scienceAlgoritmiCongressi1999Elaboratori elettroniciProgrammazioneCongressi1999Linguaggi di programmazioneCongressi1999CongressiVenezia1999005.1Cortesi,AgostinoInternational symposium SAS '996th.Venice1999747236Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000209090203316001 LNCS (1694)002405200100104295BKSCI1999110720001110USA011714ALANDI9020010209USA011724ALANDI9020020129USA01123420020403USA011629PATRY9020040406USA011615Static analysis1492538UNISA