Scaling Stepwise Refinement (2003)

by D Batory, J N Sarvela, A Rauschmayer
Venue:In ICSE ’03: Proceedings of the 25th International Conference on Software Engineering