The Logical Approach to Low-level Stack Reasoning

Fri, 12/18/2009 - 11:43 — nate

Title	The Logical Approach to Low-level Stack Reasoning
Publication Type	Conference Paper
Year of Publication	2009
Authors	Jiang, X, Guo Y, Chen Y
Conference Name	3th IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE'09)
Date Published	7/2009

Attachment	Size
tase-ieee.pdf	109.46 KB

Languages