Alexandre Cortier

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
2007
Publication period end
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. http://dx.doi.org/10.1007/978-3-540-73105-4_116