Specification Matching of Software Components (0)

by A M Zaremski, J M Wing
Venue:ACM Transactions on Software Engineering and Methodology