Shin Nakajima. Formal Analysis of Android Application Behavior with Real-Time Maude. In 2015 IEEE 3rd International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2015, Kowloon, Hong Kong, China, August 19-21, 2015. pages 7-12, IEEE, 2015. [doi]
Abstract is missing.