ISBN 3540781625 books & textbook
Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings (Lecture Notes in Computer Science, 4905)
Logozzo, Francesco Peled, Doron A. Zuck, Leonore D.
Springer /2008-02-26 Paperback / 335 Pages
isbn-10: 3540781625 / isbn-13: 9783540781622
