Alan J. Dix. Practical Formal Methods in Human?Computer Interaction. In Antti Oulasvirta, Per Ola Kristensson, Xiaojun Bi 0001, Andrew Howes 0001, editors, Computational Interaction. pages 187-212, Oxford University Press, 2018. [doi]
Abstract is missing.