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
Jump to: Monograph
Number of items: 1.

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

This list was generated on Mon Jun 23 14:39:33 2014 BST.