A Logical Framework for Software Proof Reuse

Joshua E. Caplan, Mehdi T. Harandi. A Logical Framework for Software Proof Reuse. In SSR. pages 106-113, 1995. [doi]

Abstract

Abstract is missing.