Qing-Li Zhang

Publication Activity (10 Years)

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

Publications

Qing-Li Zhang, Ming-Yuan Zhu, Shuo-Ying Chen
Automatic generation of device drivers. ACM SIGPLAN Notices 38 (6) (2003)
Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang
A formal semantic definition of DEVIL. ACM SIGPLAN Notices 38 (4) (2003)