Items where authors include "Sampaio, A."

Article

Cavalcanti, A., Sampaio, A. and Woodcock, J. (2005) Unifying classes and processes. International Journal on Software & Systems Modelling, 4 (3). pp. 277-296. ISSN 1619-1366

Borba, P., Sampaio, A., Cavalcanti, A. et al. (1 more author) (2004) Algebraic reasoning for object-oriented programming. Science of Computer Programming, 52 (1-3). pp. 53-100. ISSN 0167-6423

Cavalcanti, A., Sampaio, A. and Woodcock, J. (2003) A refinement strategy for circus. Formal Aspects of Computing, 15 (2-3). pp. 146-181. ISSN 0934-5043