AuthorsA. Gotlieb, M. Louarn, M. Nygård, T. Ruiz-Lopez, S. Sen and R. Gori
TitleConstraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening
AfilliationSoftware Engineering, The Certus Centre (SFI), Software Engineering
StatusAccepted
Publication TypeProceedings, refereed
Year of Publication2017
Conference NameProceedings of Innovative Applications of Artificial Intelligence (IAAI-17), Feb. 2017, San Francisco, USA
Date Published02/2017
Citation Key24913

Contact person