Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings / SAS 2005 Chris Hankin, Igor Siveroni (eds.). - Berlin ; New York : Springer, c2005. - 1 online resource (x, 367 p.) : ill. - Springer Lecture notes in computer science, 3672 0302-9743 ; . - Lecture notes in computer science ; 3672. .

"12th International Static Analysis Symposium ... held ... at Imperial College London"--Pref.

Includes bibliographical references and index.

"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) which was held 7-9 September 2005 at Imperial College London."

9783540319719 3540319719 3540285849 9783540285847 6611405496 9786611405496


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

QA76.6 / .I5733 2005