Skip to main content

Specification‚ Implementation and Verification of Refactorings

Max Schäfer

Institution
Oxford University Computing Laboratory
Year
2010