Scaling step-wise refinement (0)

by D Batory, J Sarvela, A Rauschmayer
Venue:IEEE Trans. Software Eng