Judy Bowen, Annika Hinze. Reasoning About Interactive Systems in Dynamic Situations of Use. In Benjamin Weyers, Judy Bowen, Alan Dix, Philippe A. Palanque, editors, The Handbook of Formal Methods in Human-Computer Interaction. pages 319-341, Springer International Publishing, 2017. [doi]
Abstract is missing.