Yliès Falcone. You Should Better Enforce Than Verify. In Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, editors, Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Volume 6418 of Lecture Notes in Computer Science, pages 89-105, Springer, 2010. [doi]
@inproceedings{Falcone10,
title = {You Should Better Enforce Than Verify},
author = {Yliès Falcone},
year = {2010},
doi = {10.1007/978-3-642-16612-9_9},
url = {http://dx.doi.org/10.1007/978-3-642-16612-9_9},
researchr = {https://researchr.org/publication/Falcone10},
cites = {0},
citedby = {0},
pages = {89-105},
booktitle = {Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings},
editor = {Howard Barringer and Yliès Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann},
volume = {6418},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-16611-2},
}