Formal methods applied to reuse (1992)

by H C Betty, Cheng, Jun-Jang Jeng
Venue:In Proceedings of the Fifth Workshop in Software Reuse