A unified approach to adapting and retrieving formally specified components for reuse

David Hemer. A unified approach to adapting and retrieving formally specified components for reuse. PhD thesis, University of Queensland, Australia, 2000. [doi]

Abstract

Abstract is missing.