Verification, model checking, and abstract interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008: proceedings /

od VMCAI 2008, Logozzo, Francesco., Peled, Doron A., Zuck, Lenore D.
Wydane c2008