Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings - International Static Analysis Symposium 2008 : Valencia, Spain); Alpuente, Maria; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Computer programming -- Congresses; Programming languages (Electronic computers) -- Congresses; Computer Science; Logics and Meanings of Programs