Author: Alexandre Cortier
Publications
Publication period start: 2007
Number of co-authors: 2
Co-authors
Number of
publications with favourite co-authors
Productive Colleagues
Most productive
colleagues in number of publications
Publications
Cortier, Alexandre, d\'Ausbourg, Bruno, Ameur, Yamine Aït (2007): Formal Validation of Java/Swing User Interfaces with the Event B Method. In: Jacko, Julie A. (eds.) HCI International 2007 - 12th International Conference - Part I July 22-27, 2007, Beijing, China. pp. 1062-1071. https://dx.doi.org/10.1007/978-3-540-73105-4_116