Correction to Approximate Reasoning About the Semantic Effects of Program Changes

Mark Moriconi, Timothy C. Winkler. Correction to Approximate Reasoning About the Semantic Effects of Program Changes . IEEE Trans. Software Eng., 17(1):94, 1991. [doi]

Abstract

Abstract is missing.