Qing-Li Zhang

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

Coauthor Index

1	Shuo-Ying Chen	[1]
2	Lei Luo	[2]
3	Ming-Yuan Zhu	[1] [2]