Browse by author
Lookup NU author(s): Emeritus Professor Cliff JonesORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Author(s): Jones CB
Editor(s): Backhouse, R., Oliveira, J.N.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Mathematics of Program Construction: 5th International Conference (MPC)
Year of Conference: 2000
Pages: 140-143
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Publisher: Springer-Verlag
URL: http://dx.doi.org/10.1007/10722010_10
DOI: 10.1007/10722010_10
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783540677275
