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]
Abstract is missing.