Benjamin Weyers, Judy Bowen, Alan Dix, Philippe A. Palanque. Workshop on formal methods in human computer interaction. 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 294-295, ACM, 2015. [doi]
Abstract is missing.