TY  - RPRT
TI  - A Vision for Online Verification-Validation
AU  - Matthew A. Hammer
AU  - Bor-Yuh Evan Chang
AU  - David Van Horn
PY  - 2016
UR  - https://arxiv.org/abs/1608.06012
ID  - 1608.06012
ER  -