TY  - RPRT
TI  - Software Model Checking: A Promising Approach to Verify Mobile App Security
AU  - Irina Mariuca Asavoae
AU  - Hoang Nga Nguyen
AU  - Markus Roggenbach
AU  - Siraj Ahmed Shaikh
PY  - 2017
DO  - 10.1145/3103111.3104040
UR  - https://arxiv.org/abs/1706.04741
ID  - 1706.04741
ER  -