TY  - RPRT
TI  - Extensible Technology-Agnostic Runtime Verification
AU  - Christian Colombo
AU  - Adrian Francalanza
AU  - Ruth Mizzi
AU  - Gordon J. Pace
PY  - 2013
DO  - 10.4204/eptcs.108.1
UR  - https://arxiv.org/abs/1302.5169
ID  - 1302.5169
ER  -