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

Powered by Koha