Scaling Step-Wise Refinement.

Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer

Browse the full ICSE paper archive.