Using CARE to Construct Verified Software.

Peter A. Lindsay, David Hemer

Browse the full ICFEM paper archive.