Mohamed A. El-Zawawy. An Operational Semantics for Android Applications. In Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A. C. Rocha, Carmelo Maria Torre, David Taniar, Bernady O. Apduhan, Elena N. Stankova, Shangguang Wang, editors, Computational Science and Its Applications - ICCSA 2016 - 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V. Volume 9790 of Lecture Notes in Computer Science, pages 100-114, Springer, 2016. [doi]
Abstract is missing.