Alexandre Cortier

	2007
2		Alexandre Cortier, Bruno d'Ausbourg, Yamine Aït Ameur: Formal Validation of Java/Swing User Interfaces with the Event B Method. HCI (1) 2007: 1062-1071
	2006
1		Yamine Aït Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels: Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. ISoLA 2006: 36-44

Coauthor Index

1	Yamine Aït Ameur	[1] [2]
2	Remi Delmas	[1]
3	Virginie Wiels	[1]
4	Bruno d'Ausbourg	[2]