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

Saved in:
Bibliographic Details
Corporate Authors: International Static Analysis Symposium (3rd 1996 Aachen, Germany)
Group Author: Cousot Radhia.; Schmidt David A., 1953 May 10-
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c1996.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 1145
Subjects:
Carrier Form: ix, 388 p.: ill. ; 24 cm.
ISBN: 3540617396 (alk. paper)
Index Number: TP301
CLC: TP301-532
Call Number: TP301-532/S797/1996
Contents: Includes bibliographical references and index.