Specification matching of software components (1995)

by A Zaremski, J Wing
Venue:ACM SIGSOFT Symp. On the Foundations of Software Engineering