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: 1.


Boiten, E.A. and Derrick, J. (2000) Liberating data refinement. In: Backhouse, R.C. and Oliveira, J.N., eds. Proceedings of the 5th International Conference on Mathematics of Program Construction. Lecture Notes in Computer Science, 1837. Springer pp. 144-166. ISBN 3-540-67727-5. (The full text of this publication is not available from this repository)

This list was generated on Fri May 9 16:33:34 2014 BST.