Specification‚ Implementation and Verification of Refactorings

Bibliographic Details
Main Author: Schäfer, M
Format: Thesis
Published: Oxford University Computing Laboratory 2010