A Technique for Analyzing the Effects of Changes in Formal Specifications

D. Richard Kuhn. A Technique for Analyzing the Effects of Changes in Formal Specifications. Comput. J., 35(6):574-578, 1992. [doi]

Abstract

Abstract is missing.