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:
Description
Physical Description:ix, 283 pages : illustrations ; 23 cm.
Bibliography:Includes bibliographical references.
ISBN:3540572643 :
0387572643 (U.S.)