Data refinement refined resume

Download PDF
25 downloads 4946 Views 1MB Size Report
Comment
DATA REFINEMENT REFINED. RESUME. J. He, C.A.R. Hoare and J.W. Sanders . We consider the original work of Hoare and Jones on data refinement in the ...