Formalizing lightweight verification of software component composition (2004)

by Stephen McCamant, Michael D Ernst
Venue:In SAVCBS