Languages

The Logical Approach to Low-level Stack Reasoning

TitleThe Logical Approach to Low-level Stack Reasoning
Publication TypeConference Paper
Year of Publication2009
AuthorsJiang X, Guo Y, Chen Y
Conference Name3th IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE'09)
Date Published7/2009
AttachmentSize
tase-ieee.pdf109.46 KB