Specification‚ Implementation and Verification of Refactorings

Dettagli Bibliografici
Autore principale: Schäfer, M
Natura: Tesi
Pubblicazione: Oxford University Computing Laboratory 2010