TY  - RPRT
TI  - Non-termination of Dalvik bytecode via compilation to CLP
AU  - Etienne Payet
AU  - Fred Mesnard
PY  - 2014
UR  - https://arxiv.org/abs/1412.3729
ID  - 1412.3729
ER  -