Klaus Havelund, Grigore Rosu. Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV 01). Formal Methods in System Design, 24(2):99-100, 2004. [doi]
@article{HavelundR04,
title = {Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV 01)},
author = {Klaus Havelund and Grigore Rosu},
year = {2004},
doi = {10.1023/B:FORM.0000017842.17301.bc},
url = {http://dx.doi.org/10.1023/B:FORM.0000017842.17301.bc},
researchr = {https://researchr.org/publication/HavelundR04},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {24},
number = {2},
pages = {99-100},
}