Static Analysis: Third International Workshop, Wsa '93, Padova, Italy, September 1993: Proceedings (Lecture Notes in Computer Science)

Proceedings

by: Italy) Workshop on Static Analysis 1993 (Padova · Moreno Falaschi · Gilberto File · Patrick Cousot

Paperback

ISBN: 978-0-387-57264-2

ISBN-10: 0-387-57264-3

Springer Verlag · 1993