A Model-driven approach to formal refactoring
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
| Main Author: | |
|---|---|
| Format: | doctoralThesis |
| Language: | eng |
| Published: |
2014
|
| Subjects: | |
| Online Access: | https://repositorio.ufpe.br/handle/123456789/1556 |
| Country: | Brazil |
| Oai: | oai:repositorio.ufpe.br:123456789/1556 |