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