Towards Discovery, Specification, and Verification of Component Usage

Chang Liu, Debra J. Richardson. Towards Discovery, Specification, and Verification of Component Usage. In ASE. pages 331-334, 1999. [doi]

Abstract

Abstract is missing.