Static analysis
Subtitle: First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings
By: Baudouin Le Charlier, ed.
Contributors: Le Charlier, Baudouin, 1950-
Series: Lecture notes in computer science -- 864.
Publisher: Springer-Verlag
Published: 1994
Place of publication: Berlin; New York
Language: eng
Number of pages: 463
Subjects: Electronic digital computers -- Programming -- Congresses.; Programming languages (Electronic computers) -- Congresses.
Notes: Includes bibliographical references and index.