Static analysis
Subtitle: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings
By: Manuel V. Hermenegildo, Germán Puebla, (eds.).
Contributors: Hermenegildo, Manuel.; Puebla, Germán.
Series: Lecture notes in computer science -- 2477.
Publisher: Springer
Published: 2002
Place of publication: Berlin; New York
Language: eng
Number of pages: 525
Subjects: Computer programming -- Congresses; Programming languages (Electronic computers) -- Congresses
Genres: Congresses.
Other titles: SAS 2002.
Notes: Includes bibliographical references and index.