Raquel Oliveira Prates, Philippe A. Palanque, Benjamin Weyers, Judy Bowen, Alan J. Dix. State of the Art on Formal Methods for Interactive Systems. In Benjamin Weyers, Judy Bowen, Alan Dix, Philippe A. Palanque, editors, The Handbook of Formal Methods in Human-Computer Interaction. pages 3-55, Springer International Publishing, 2017. [doi]
Abstract is missing.