Specification Matching of Software Components (1997)

by A Zaremski, J Wing, J
Venue:ACM Transactions on Software Engineering and Methodology (TOSEM), Vol