Reasoning about Pointers in Refinement Calculus (2003)

by R J Back, X Fan, V Preoteasa
Venue:In 10th Asia-Pacific Software Engineering Conference (APSEC 2003