Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings - Emerson, E. Allen; Namjoshi, Kedar S.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2006)
Keywords: Computer science; Software engineering; Logic design; Computer Science; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters