Judy Bowen, Alan Dix, Philippe A. Palanque, Benjamin Weyers. Topics of Formal Methods in HCI. In Benjamin Weyers, Judy Bowen, Alan Dix, Philippe A. Palanque, editors, The Handbook of Formal Methods in Human-Computer Interaction. pages 57-64, Springer International Publishing, 2017. [doi]
Abstract is missing.