Shao Jie Zhang

	2009
1		Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Wei Chen, Yanhong A. Liu: Formal Verification of Scalable NonZero Indicators. SEKE 2009: 406-411

Coauthor Index

1	Wei Chen	[1]
2	Jin Song Dong	[1]
3	Yanhong A. Liu	[1]
4	Yang Liu	[1]
5	Jun Sun	[1]