Runtime Verification : 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers - Sokolsky, Oleg (Herausgeber); Tasiran, Serdar (Herausgeber) (Programming and Software Engineering, 2007)