Ahmed Hammad

	2006
3		Mohammed Al Achhab, Ahmed Hammad, Hassan Mountassir: Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. ISoLA 2006: 28-35
	2003
2		Bruno Tatibouët, Antoine Requet, Jean-Christophe Voisinet, Ahmed Hammad: Java Card Code Generation from B Specifications. ICFEM 2003: 306-318
	2002
1		Ahmed Hammad, Bruno Tatibouët, Jean-Christophe Voisinet, Weiping Wu: From a B Specification to UML StateChart Diagrams. ICFEM 2002: 511-522

Coauthor Index

1	Mohammed Al Achhab	[3]
2	Hassan Mountassir	[3]
3	Antoine Requet	[2]
4	Bruno Tatibouët	[1] [2]
5	Jean-Christophe Voisinet	[1] [2]
6	Weiping Wu	[1]

Colors in the list of coauthors