Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01).

Klaus Havelund Grigore Rosu Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01). 99-100 2004 24 Formal Methods in System Design 2 http://dx.doi.org/10.1023/B:FORM.0000017842.17301.bc db/journals/fmsd/fmsd24.html#HavelundR04