Enviar aquest missatge de text: Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings / Neil D. Jones, Markus Müller-Olm (eds.).