Towards Specification-Guarded Refactoring.

Adam D. Barwell, Christopher Brown, Susmit Sarkar

Browse the full LOPSTR paper archive.