Static analysis
Subtitle: 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 : proceedings
By: Radhia Cousot, Matthieu Martel (eds.).
Contributors: Cousot, Radhia; Martel, Matthieu
Series: Lecture notes in computer scienece -- 6337; Advanced research in computing and software science; LNCS sublibrary: SL 2-programming and software engineering; Lecture notes in computer scienece -- 6337.; LNCS sublibrary; Lecture notes in computer science
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 471
ISBN-13: 9783642157684
Subjects: Computer programming; Congresses; Programming languages (Electronic computers)
Notes: Includes bibliographical references and index.