Logozzo, Francesco.,Peled, Doron,,Zuck, Lenore D.,.Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings /.Springer,,c2008..
Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings /
