Proceedings of the Fifth Workshop on Runtime Verification (RV 2005), Electronic Notes in Theoretical Computer Science, Volume 144, Issue 4, May 2006.
Proceedings of the Fifth Workshop on Runtime Verification (RV 2005), Electronic Notes in Theoretical Computer Science, Volume 144, Issue 4, May 2006.