TY  - RPRT
TI  - Bounded Verification with On-the-Fly Discrepancy Computation
AU  - Chuchu Fan
AU  - Sayan Mitra
PY  - 2015
UR  - https://arxiv.org/abs/1502.01801
ID  - 1502.01801
ER  -