01517nam2-2200421li-450 99000021097020331620180312154743.03-540-60360-30021097USA010021097(ALEPH)000021097USA01002109720001109d1995----km-y0itay0103----baengGWStatic analysissecond International symposium, SAS '95Glasgow, UK, September 25-27, 1995proceedingsAlan Mycroft (ed.)Berlin [etc.]Springer-Verlagcopyr. 1995VIII, 421 p.ill.25 cmLecture notes in computer science98300100202642001Lecture notes in computer sciencecongressiglasgow1995elaboratori elettroniciprogrammazionecongressi1995linguaggi di programmazionecongressi19950051Programmazione. Tecnica di sviluppo dei programmiMycroft,AlanInternational symposium SAS'952.Glasgow1995747184Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210970203316001 LNCS (983)001872200100103765BKSCI1996040520001110USA011714ALANDI9020010131USA01170620020403USA011629PATRY9020040406USA011615Static analysis1492473UNISA