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.

Monograph

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)
[img]
Preview

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)
[img]
Preview

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