| |
| 2000 | ||
|---|---|---|
| 1 | EE | V. K. Pisini, Sofiène Tahar, Paul Curzon, Otmane Aït Mohamed, Xiaoyu Song: Formal hardware verification by integrating HOL and MDG. ACM Great Lakes Symposium on VLSI 2000: 23-28 |
| 1 | Paul Curzon | [1] |
| 2 | Otmane Aït Mohamed | [1] |
| 3 | Xiaoyu Song | [1] |
| 4 | Sofiène Tahar | [1] |