DMCA

Compositional Reasoning for Pointer Structures (2006)

Cached

Download Links

by Yifeng Chen , J. W. Sanders
Venue:Proc. of 8th International Conference on Mathematics of Program Construction (MPC06
Citations:7 - 1 self