Formal analysis of persuasive mHealth apps

Krishnendu Ghosh. Formal analysis of persuasive mHealth apps. In 17th International Conference on E-health Networking, Application & Services, HealthCom 2015, Boston, MA, USA, October 14-17, 2015. pages 447-450, IEEE, 2015. [doi]

Abstract

Abstract is missing.