Specification‚ Implementation and Verification of Refactorings
Main Author: | |
---|---|
Format: | Thesis |
Published: |
Oxford University Computing Laboratory
2010
|
Main Author: | |
---|---|
Format: | Thesis |
Published: |
Oxford University Computing Laboratory
2010
|