Static analysis 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings /

This book constitutes the refereed proceedings of the 15th International Symposium on Static Analysis, SAS 2008, held in Valencia, Spain in July 2008 - co-located with LOPSTR 2008, the International Symposium on Logic-based Program Synthesis and Transformation, PPDP 2008, the International ACM SIGPL...

Full description

Corporate Authors: International Static Analysis Symposium Valencia, Spain)
Other Authors: International Static Analysis Symposium, Alpuente, María., Vidal, Germán, SpringerLink (Online service)
Format: eBook
Language: English
Published: Berlin ; New York : Springer, ©2008.
Berlin ; New York : [2008]
Physical Description: 1 online resource (x, 377 pages) : illustrations (some color).
Series: Lecture notes in computer science ; 5079.
LNCS sublibrary. Programming and software engineering.
Subjects:

CMU Electronic Access

Electronic Resource Click Here
LocationCall Number: Status
CMU Electronic Access Available