Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings - International Static Analysis Symposium 2005 : London, England); Hankin, Chris; Siveroni, Igor.; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2005)
Keywords: Computer programming -- Congresses; Programming languages (Electronic computers) -- Congresses; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Programming Techniques; Software Engineering