Formal methods applied to reuse (1992)

by B H C Cheng, J-J Jeng
Venue:in Proceedings of the Fifth Workshop in Software Reuse