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...
Saved in:
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: |
In Prospector
Similar Items
-
Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings
Published: (2011) -
Static analysis : 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 : proceedings
Published: (2010) -
Static analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings
Published: (2009) -
Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings
Published: (2007) -
Static analysis : 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Published: (2012)