Proceedings of the Fifth Workshop on Runtime Verification (RV 2005)

Howard Barringer, Bernd Finkbeiner, Yuri Gurevich, and Henny Sipma (editors)

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