TY  - RPRT
TI  - Bounds on variable-length compound jumps
AU  - Petarpa Boonserm
AU  - Matt Visser
PY  - 2013
DO  - 10.1063/1.4820146
UR  - https://arxiv.org/abs/1301.7524
ID  - 1301.7524
ER  -