Static analysis
Subtitle: third international symposium, SAS '96, Aachen, Germany, September 24-26, 1996 : proceedings
By: Radhia Cousot, David A. Schmidt, eds.
Contributors: Cousot, Radhia.; Schmidt, David A., 1953 May 10-
Series: Lecture notes in computer science,; 1145
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 388
Subjects: Computer programming -- Congresses; Programming languages (Electronic computers) -- Congresses
Notes: Includes bibliographical references and index.