Zhenming Wang

	2008
3		Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian: Implementation of Pointer Logic for Automated Verification. ICYCS 2008: 2295-2301
2		Zhifang Wang, Yiyun Chen, Zhenming Wang, Wei Wang, Bo Tian: An Extension to Pointer Logic for Verification. TASE 2008: 49-56
1		Zhifang Wang, Yiyun Chen, Zhenming Wang, Baojian Hua: Automated verification of pointer programs in pointer logic. Frontiers of Computer Science in China 2(4): 380-397 (2008)

Coauthor Index

1	Yiyun Chen	[1] [2] [3]
2	Baojian Hua	[1]
3	Bo Tian	[2] [3]
4	Wei Wang	[2] [3]
5	Zhifang Wang	[1] [2] [3]