Static Analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
edited by Chris Hankin, Igor Siveroni.
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
v.: digital
Serie: Lecture Notes in Computer Science, ISSN 0302-9743 ; 3672
ISBN: 9783540319719