Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Jump to: Article | Conference or workshop item
Number of items: 2.
Article
| Borba, Paulo H.M. and Sampaio, Augusto C.A. and Cavalcanti, Ana L. C. and Cornélioa, Márcio (2004) Algebraic Reasoning for Object-Oriented Programming. Science of Computer Programming, 52 (1-3). pp. 53-100. ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2004.03.003) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
Conference or workshop item
| Cornélioa, Márcio and Cavalcanti, Ana L. C. and Sampaio, Augusto C.A. (2002) Refactoring by Transformation. In: Proceedings of REFINE'2002. Electronic Notes in Theoretical Computer Science, 70. Elsevier Science B V pp. 311-330. (doi:https://doi.org/10.1016/S1571-0661(05)82564-2) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |
