Malek Haroud

Publication Activity (10 Years)

Years Active: 2003-2005
Publications (10 Years): 0

Publications

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