Static analysis : 16th international symposium proceedings, SAS, Los Angeles, CA, USA, Aug. 9-11, 2009
Static analysis : 16th international symposium proceedings, SAS, Los Angeles, CA, USA, Aug. 9-11, 2009
-
- Berlin Springer 2009
- x,359 p. 23.5 cm
- Lecture notes in computer science ; 5673 .
978-3-642-03236-3
Computer Science and Engineering
Computer programs-Verification-Congresses , Programming languages(Electronic computers)-Congresses , Static analysis-Congresses
681.3.06Sta:16:09
978-3-642-03236-3
Computer Science and Engineering
Computer programs-Verification-Congresses , Programming languages(Electronic computers)-Congresses , Static analysis-Congresses
681.3.06Sta:16:09