Marco Manca, Fabio Paternò, Carmen Santoro. A Public Tool Suite for Modelling Interactive Applications. In Benjamin Weyers, Judy Bowen, Alan Dix, Philippe A. Palanque, editors, The Handbook of Formal Methods in Human-Computer Interaction. pages 505-528, Springer International Publishing, 2017. [doi]
Abstract is missing.