Compositional Reasoning for Pointer Structures
Published in Lecture notes in computer science • Jan 1, 2006
NobleIDNI0P54W08R92S95
Authors:,
Yifeng Chen
J. W. Sanders
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!