Benjamin Weyers. Visual and Formal Modeling of Modularized and Executable User Interface Models. In Benjamin Weyers, Judy Bowen, Alan Dix, Philippe A. Palanque, editors, The Handbook of Formal Methods in Human-Computer Interaction. pages 125-160, Springer International Publishing, 2017. [doi]
Abstract is missing.