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]

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page