Specification matching of software components (1995)

by A M ZARMSKI, J M WING
Venue:In Proceedings of SIGSOFT ’95: 3rd ACM SIGSOFT Symposuim on the Foundations of Software Engineering. ACM