Malek Haroud

	2005
2		Malek Haroud, Armin Biere: SDL Versus C Equivalence Checking. SDL Forum 2005: 323-338
	2003
1		Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan: Formal Methods Group ETH Zürich. Electr. Notes Theor. Comput. Sci. 80: (2003)

Coauthor Index

1	Cyrille Artho	[1]
2	Armin Biere	[1] [2]
3	Viktor Schuppan	[1]