01462nam2-2200409li-450 99000020570020331620180312154703.03-540-63468-10020570USA010020570(ALEPH)000020570USA01002057020001109d1997----km-y0itay0103----baengGWStatic analysis4th International symposium, SAS'97Paris, France, September 8-10, 1997proceedingsPascal Van Henternyck (ed.)BerlinoSpringer-Verlagcopyr. 1997X, 412 p.ill.23 cmLecture notes in computer science130200100202642001Lecture notes in computer sciencecongressiparigi1997elaboratori elettroniciprogrammazionecongressi19970051Programmazione. Tecnica di sviluppo dei programmiVan Hentenryck,PascalInternational symposium SAS'974.Parigi1997746229Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000205700203316001 LNCS (1302)002109000100104056BKSCI1998011720001110USA011714ALANDI9020010202USA01161120020403USA011628PATRY9020040406USA011615Static analysis1489225UNISA