Enviar aquest missatge de text: Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, selected papers / Saddek Bensalem, Doron A. Peled (eds.).