Scaling step-wise refinement (0)

by Don Batory, Jacob Neal Sarvela, Axel Rauschmayer
Venue:IEEE Transactions on Software Engineering