Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

• Authors:

• Saddek Bensalem;Doron A. Peled

• Affiliations:

• Verimag Centre Equation, Gières, France 38610;Department of Computer Science, Bar Ilan University, Ramat Gan, Israel 52900

• Venue:
• Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers
• Year:
• 2009