Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings / SAS 2007 Hanne Riis Nielson, Gilberto Filé (eds.). - Berlin ; New York : Springer, c2007. - 1 online resource (xi, 467 p.) : ill. - Springer Lecture notes in computer science, 4634 0302-9743 ; LNCS sublibrary. SL 2, Programming and software engineering . - Lecture notes in computer science ; 4634. LNCS sublibrary. SL 2, Programming and software engineering. .

Includes bibliographical references and index.

9783540740605 (pbk.) 3540740600 (pbk.) 9783540740612 3540740619 6611353399 9786611353391

984911014 DE-101


Computer programming--Congresses.
Programming languages (Electronic computers)--Congresses.

QA76.6 / .I5733 2007