01463nam2-2200409li-450 99000021178020331620180312154637.03-540-58485-40021178USA010021178(ALEPH)000021178USA01002117820001109d1994----km-y0itay0103----baengGWStatic analysisfirst International static analysis symposium SAS'94Namur, Belgium, September 28-30, 1994proceedingBaudouin Le Charlie (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994XII, 463 p.ill.24 cmLecture notes in computer science86400100202642001Lecture notes in computer sciencecongressinamur1994linguaggi di programmazionecongressi199400513Linguaggi di programmazioneLe_Charlie,BaudouinInternational static analysis symposium SAS'941.Namur1994746311Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211780203316001 LNCS (864)001638200100103664BKSCI1995101020001110USA011714ALANDI9020010130USA01155920020403USA011629PATRY9020040406USA011615Static analysis1489432UNISA