%0 Conference Paper %1 conf/aaai/GotliebLNRSG17 %A Gotlieb, Arnaud %A Louarn, Marine %A Nygård, Mari %A Ruiz-López, Tomás %A Sen, Sagar %A Gori, Roberta %B AAAI %D 2017 %E Singh, Satinder P. %E Markovitch, Shaul %I AAAI Press %K %P 4678-4685 %T Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2017.html#GotliebLNRSG17

@inproceedings{conf/aaai/GotliebLNRSG17, added-at = {2023-12-13T07:57:57.000+0100}, author = {Gotlieb, Arnaud and Louarn, Marine and Nygård, Mari and Ruiz-López, Tomás and Sen, Sagar and Gori, Roberta}, biburl = {https://www.bibsonomy.org/bibtex/2c5ee13a5e984c633e199e5de6f8f235d/admin}, booktitle = {AAAI}, crossref = {conf/aaai/2017}, editor = {Singh, Satinder P. and Markovitch, Shaul}, ee = {http://aaai.org/ocs/index.php/IAAI/IAAI17/paper/view/14432}, interhash = {bf54ace9274caa4273a7f01f760dd394}, intrahash = {c5ee13a5e984c633e199e5de6f8f235d}, keywords = {}, pages = {4678-4685}, publisher = {AAAI Press}, timestamp = {2023-12-13T07:57:57.000+0100}, title = {Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2017.html#GotliebLNRSG17}, year = 2017 }