Lin Ge

	2007
2		Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu: Design of a Certifying Compiler Supporting Proof of Program Safety. TASE 2007: 127-138
1		Yiyun Chen, Lin Ge, Baojian Hua, Zhaopeng Li, Cheng Liu, Zhifang Wang: A pointer logic and certifying compiler. Frontiers of Computer Science in China 1(3): 297-312 (2007)

Coauthor Index

1	Yiyun Chen	[1] [2]
2	Baojian Hua	[1] [2]
3	Zhaopeng Li	[1] [2]
4	Cheng Liu	[1] [2]
5	Zhifang Wang	[1]