Runtime verification : first international conference ; proceedings - Barringer, Howard (Herausgeber); RV (1 : 2010 : Saint Julian's) (Lecture notes in computer science, 2010)