Deriving Modular Designs from Formal Specifications

David A. Carrington, David J. Duke, Ian J. Hayes, Jim Welsh. Deriving Modular Designs from Formal Specifications. In SIGSOFT FSE. pages 89-98, 1993. [doi]

Abstract

Abstract is missing.