Static analysis : third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings /

Bibliographic Details
Corporate Author: International Static Analysis Symposium Aachen, Germany
Other Authors: Cousot, Radhia, Schmidt, David A., 1953 May 10-
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, [1996]
Series:Lecture notes in computer science ; 1145.
Subjects:
Description
Physical Description:ix, 388 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540617396