Benjamin Weyers, Wolfram Luther. Formal Modeling and Reconfiguration of User Interfaces. In Sergio F. Ochoa, Federico Meza, Domingo Mery, Claudio Cubillos, editors, SCCC 2010, Proceedings of the XXIX International Conference of the Chilean Computer Science Society, Antofagasta, Chile, 15-19 November 2010. pages 236-245, IEEE Computer Society, 2010. [doi]
Abstract is missing.