Verification, model checking, and abstract interpretation : 9th International Conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings - Logozzo, Francesco; Peled, Doron A., 1962-; Zuck, Lenore D., 1958- (Lecture notes in computer science ;, 2008)