Volume 24, Issue 2
March 2004Special Issue on Selected Papers from the First International Workshop on Runtime Verification Held in Paris, July 2001 (RV'01).
5 articles in this issue