| Authors | A. Gotlieb, M. Louarn, M. Nygård, T. Ruiz-Lopez, S. Sen and R. Gori |
| Title | Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening |
| Afilliation | Software Engineering |
| Project(s) | The Certus Centre (SFI) |
| Status | Published |
| Publication Type | Proceedings, refereed |
| Year of Publication | 2017 |
| Conference Name | Proceedings of Innovative Applications of Artificial Intelligence (IAAI-17), Feb. 2017, San Francisco, USA |
| Date Published | 02/2017 |
| Publisher | AAAI |
| Citation Key | 24913 |
By thinking constantly about it…
