Grigore Rosu, Feng Chen, Thomas Ball. Synthesizing Monitors for Safety Properties: This Time with Calls and Returns. In Martin Leucker, editor, Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers. Volume 5289 of Lecture Notes in Computer Science, pages 51-68, Springer, 2008. [doi]
@inproceedings{RosuCB08,
title = {Synthesizing Monitors for Safety Properties: This Time with Calls and Returns},
author = {Grigore Rosu and Feng Chen and Thomas Ball},
year = {2008},
doi = {10.1007/978-3-540-89247-2_4},
url = {http://dx.doi.org/10.1007/978-3-540-89247-2_4},
researchr = {https://researchr.org/publication/RosuCB08},
cites = {0},
citedby = {0},
pages = {51-68},
booktitle = {Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers},
editor = {Martin Leucker},
volume = {5289},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-89246-5},
}