Volume 27, Issue 3
November 2005Special Issue on Selected Papers from the Second International Workshop on Runtime Verification Held in Copenhagen, July 2002 (RV'02)
- Issue Editors:
-
- Klaus Havelund,
- Grigore Rosu
6 articles in this issue