and J.Sanders. Compositional reasoning for pointer structures (2006)

by Y Chen
Venue:In Proc. of 8th International Conference on Mathematics of Program Construction (MPC06