Static analysis : 14th international symposium proceedings, SAS, Kongens Lyngby, Denmark, Aug. 22-24, 2007
Static analysis : 14th international symposium proceedings, SAS, Kongens Lyngby, Denmark, Aug. 22-24, 2007
-
- Berlin Springer 2007
- xi,469 p. 23 cm
- Lecture notes in computer science ; v.4634 .
978-3-540-74060-5
Computer Science and Engineering
Computer programs-Verification-Congresses , Programming languages(Electronic computers)-Congresses , Static analysis-Congresses
681.3.06Sta:14:07
978-3-540-74060-5
Computer Science and Engineering
Computer programs-Verification-Congresses , Programming languages(Electronic computers)-Congresses , Static analysis-Congresses
681.3.06Sta:14:07