Evolution and Reuse of Formal Specification Using Decision Structures

J. Christian Wild, Daniela Rosca. Evolution and Reuse of Formal Specification Using Decision Structures. In KBSE. pages 108-115, 1994.

Abstract

Abstract is missing.