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...
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 HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |