Sharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino. Certification of reusable software components: summary of work in progress. In 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 96), 21-25 October 1996, Montreal, Canada. pages 120-123, IEEE Computer Society, 1996. [doi]
Abstract is missing.