Specification‚ Implementation and Verification of Refactorings
Autore principale: | |
---|---|
Natura: | Tesi |
Pubblicazione: |
Oxford University Computing Laboratory
2010
|
Autore principale: | |
---|---|
Natura: | Tesi |
Pubblicazione: |
Oxford University Computing Laboratory
2010
|