A Pointer Logic and Certifying Compiler

Mon, 08/17/2009 - 13:32 — nate

Title	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

Attachment	Size
chen07fcs.pdf	1.53 MB

Languages