Alessandro Campi, Eliseo Martinez, Pierluigi San Pietro. Experiences with a Formal Method for Design and Automatic Checking of User Interfaces. In Hallvard Trætteberg, Pedro J. Molina, Nuno Jardim Nunes, editors, MBUI 2004, Making model-based user interface design practical: usable and open methods and tools, Proceedings of the First International Workshop on Making model-based user interface design practical: usable and open methods and tools, Funchal, Madeira, P. Volume 103 of CEUR Workshop Proceedings, CEUR-WS.org, 2004. [doi]
Abstract is missing.