Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 2.


Oliveira, M.V.M. (2004) A Refinement Calculus for Circus - Mini-thesis. Technical report. University of Kent, Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NF, UK (Full text available)

Conference or workshop item

Oliveira, M.V.M. and Cavalcanti, A.L.C. (2000) Tactics of Refinement. In: 14th Brazilian Symposium on Software Engineering, 4-6 October, 2000, Joao Pessoa - Paraiba - Brazil. (Full text available)

This list was generated on Fri Apr 18 09:34:37 2014 BST.