Number of items: 1.
Conference or workshop item
|
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 Thu May 23 07:05:52 2013 BST.
