Browse by Journal
Jump to: C
Number of items: 2.
C
Cornélioa, Márcio, Cavalcanti, Ana L. C., Sampaio, Augusto C.A. (2002) Refactoring by Transformation. In: Proceedings of REFINE'2002. Electronic Notes in Theoretical Computer Science , 70. pp. 311-330. Elsevier Science B V (doi: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) (KAR id:13673) |
Cavalcanti, Ana L. C., Sampaio, Augusto C.A., Woodcock, Jim (2002) Refinement of Actions in Circus. In: Proceedings of REFINE'2002. Electronic Notes in Theoretical Computer Science , 70. pp. 132-162. Elsevier (doi:10.1016/S1571-0661(05)80489-X) (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) (KAR id:13674) |