Using CARE to Construct Verified Software

Peter A. Lindsay, David Hemer. Using CARE to Construct Verified Software. In ICFEM. pages 122-131, 1997.

Abstract

Abstract is missing.