Formal Validation of Java/Swing User Interfaces with the Event B Method.

Alexandre Cortier, Bruno d'Ausbourg, Yamine At Ameur

Browse the full HCI paper archive.