Specification Matching of Software Components (1997)

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