| |
| * | 2003 | |
|---|---|---|
| 2 | EE | Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang: A formal semantic definition of DEVIL. SIGPLAN Notices 38(4): 47-56 (2003) |
| 1 | EE | Qing-Li Zhang, Ming-Yuan Zhu, Shuo-Ying Chen: Automatic generation of device drivers. SIGPLAN Notices 38(6): 60-69 (2003) |
| 1 | Shuo-Ying Chen | [1] |
| 2 | Lei Luo | [2] |
| 3 | Ming-Yuan Zhu | [1] [2] |