Static analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings /
This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science. The 21 revised full papers presented together with two invit...
Corporate Authors: | International Static Analysis Symposium Los Angeles, Calif.) |
---|---|
Other Authors: | International Static Analysis Symposium, Palsberg, Jens., Su, Zhendong., SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2009.
Berlin ; New York : [2009] |
Physical Description: |
1 online resource (x, 359 pages) : illustrations. |
Series: |
Lecture notes in computer science ;
5673. LNCS sublibrary. Programming and software engineering. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |