Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary. Plasticity of user interfaces: formal verification of consistency. In Michael Nebeling, Jürgen Ziegler 0001, Laurence Nigay, editors, Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2015, Duisburg, Germany, June 23-26, 2015. pages 260-265, ACM, 2015. [doi]
@inproceedings{OliveiraDC15,
title = {Plasticity of user interfaces: formal verification of consistency},
author = {Raquel Oliveira and Sophie Dupuy-Chessa and Gaëlle Calvary},
year = {2015},
doi = {10.1145/2774225.2775078},
url = {http://doi.acm.org/10.1145/2774225.2775078},
researchr = {https://researchr.org/publication/OliveiraDC15},
cites = {0},
citedby = {0},
pages = {260-265},
booktitle = {Proceedings of the 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2015, Duisburg, Germany, June 23-26, 2015},
editor = {Michael Nebeling and Jürgen Ziegler 0001 and Laurence Nigay},
publisher = {ACM},
isbn = {978-1-4503-3646-8},
}