@inproceedings{Havelund2016,
author="Havelund, Klaus
and Reger, Giles",
title="What is a Trace? A Runtime Verification Perspective",
bookTitle="7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016)",
year="2016",
pages="(accepted)"
}