Static analysis : third international workshop, WSA '93, Padova, Italy, September 1993 : proceedings /

Bibliographic Details
Corporate Author:	Workshop on Static Analysis Padova, Italy
Other Authors:	Cousot, Patrick, 1948-
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1993]
Series:	Lecture notes in computer science ; 724.
Subjects:	Computer programming > Congresses. Programming languages (Electronic computers) > Congresses.

Remote Storage