Up a level |
Mishra, Ashish and Kanade, Aditya and Srikant, Y N (2016) Asynchrony-Aware Static Analysis of Android Applications. In: 14th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), NOV 18-20, 2016, Kanpur, INDIA, pp. 163-172.