Alexandre Cortier, Bruno d Ausbourg, Yamine Aït Ameur. Formal Validation of Java/Swing User Interfaces with the Event B Method. In Julie A. Jacko, editor, Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I. Volume 4550 of Lecture Notes in Computer Science, pages 1062-1071, Springer, 2007. [doi]
Abstract is missing.