Specification‚ Implementation and Verification of Refactorings

Bibliographic Details
Main Author: Schäfer, M
Format: Thesis
Published: Oxford University Computing Laboratory 2010
_version_ 1797112528432529408
author Schäfer, M
author_facet Schäfer, M
author_sort Schäfer, M
collection OXFORD
description
first_indexed 2024-03-07T08:25:24Z
format Thesis
id oxford-uuid:e2ee9b71-f81f-462a-99fa-3868f0e2eb87
institution University of Oxford
last_indexed 2024-03-07T08:25:24Z
publishDate 2010
publisher Oxford University Computing Laboratory
record_format dspace
spelling oxford-uuid:e2ee9b71-f81f-462a-99fa-3868f0e2eb872024-02-12T11:41:18ZSpecification‚ Implementation and Verification of RefactoringsThesishttp://purl.org/coar/resource_type/c_db06uuid:e2ee9b71-f81f-462a-99fa-3868f0e2eb87Department of Computer ScienceOxford University Computing Laboratory2010Schäfer, M
spellingShingle Schäfer, M
Specification‚ Implementation and Verification of Refactorings
title Specification‚ Implementation and Verification of Refactorings
title_full Specification‚ Implementation and Verification of Refactorings
title_fullStr Specification‚ Implementation and Verification of Refactorings
title_full_unstemmed Specification‚ Implementation and Verification of Refactorings
title_short Specification‚ Implementation and Verification of Refactorings
title_sort specification implementation and verification of refactorings
work_keys_str_mv AT schaferm specificationimplementationandverificationofrefactorings