Reasoning about Pointers in Refinement Calculus.

Ralph-Johan Back, Xiaocong Fan, Viorel Preoteasa

Browse the full APSEC paper archive.