Constitutes the thoroughly refereed conference proceedings of the First International Conference on Runtime Verification, RV 2010, held in St Julians, Malta, in November 2010.
"{{ opinion }}"