Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings - VMCAI 2008 (2008 : San Francisco, Calif.); Logozzo, Francesco; Peled, Doron A.; Zuck, Lenore D.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Computer programs -- Verification -- Congresses; Computer Science; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering