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.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)
Keywords: Computer science; Software engineering; Logic design; Computer Science; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Software Engineering