Certification of reusable software components: summary of work in progress.

Sharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino

Browse the full ICECCS paper archive.