Scaling step-wise refinement (0)

by D Batory, J N Sarvela, A Rauschmayer
Venue:IEEE Transactions on Software Engineering (TSE