Title
Software Model Checking: A Promising Approach to Verify Mobile App Security.
Year
Venue
DocType
2017
CoRR
Journal
Volume
Citations 
PageRank 
abs/1706.04741
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Irina Mariuca Asavoae100.68
Hoang Nga Nguyen28012.80
Markus Roggenbach329432.63
Siraj Ahmed Shaikh4306.65