Formal methods applied to reuse (1992)

by B CHENG, J JENG
Venue:In Proceedings of WISR ’92 5th Annual Workshop on Software Reuse