Ammar Aljer

	2004
2		Ammar Aljer, Philippe Devienne: Co-Design and Refinement for Safety Critical Systems. DFT 2004: 78-86
	2003
1		Ammar Aljer, Philippe Devienne, Sophie Tison, Jean-Louis Boulanger, Georges Mariano: BHDL: Circuit Design in B. ACSD 2003: 241-242

Coauthor Index

1	Jean-Louis Boulanger	[1]
2	Philippe Devienne	[1] [2]
3	Georges Mariano	[1]
4	Sophie Tison	[1]