Formal Analysis of an Agent Support Model for Behaviour Change Intervention
International Journal on Advanced Science, Engineering and Information Technology/International journal of advanced science, engineering and information technology