Specification matching of software components (1997)

by A Zaremski, J Wing
Venue:A CM Trans, on Software Engineering and Methodology