Compatibility of Software Components - Modeling and Verification," (2006)

by D C Craig, W M Zuberek
Venue:International Conference on Dependability of Computer Systems,