Slicing algebraic specifications

Martin R. Woodward, Stephen P. Allen. Slicing algebraic specifications. Information \& Software Technology, 40(2):105-118, 1998. [doi]

Abstract

Abstract is missing.