Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 1993 : Proceedings

Italy) Workshop on Static Analysis 1993 (Padova , Moreno Falaschi , Gilberto Filè