A Pointer Logic and Certifying Compiler

星期一, 08/17/2009 - 13:32 — nate

标题	A Pointer Logic and Certifying Compiler
Publication Type	Journal Article
Year of Publication	2007
Authors	Chen, Y, Ge L, Hua B, Li Z, Liu C, Wang Z
Journal	Frontiers of Computer Science in China
Volume	1
Pagination	297-312
Date Published	Jul

附件	大小
chen07fcs.pdf	1.53 MB

语言