Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings - Logozzo, Francesco; Peled, Doron A.; Zuck, Lenore D. (Springer Berlin Heidelberg, 2008)