404 File not Found
Could not find the file: /21607/1.haslightboxThumbnailVersion/Grey_Box_Data_Refinement.pdf
The file you are trying to access may be related to this item:
Boiten, Eerke Albert and Derrick, John (1998) Grey Box Data Refinement. In: Grundy, J. and Schwenke, M. and Vickers, T., eds. International Refinement Workshop & Formal Methods Pacific 1998. Discrete Mathematics and Theoretical Computer Science . Springer, Heidelberg, Germany, pp. 45-59. ISBN 981-4021-16-4. (KAR id:21607)
If you reached this page by following a link within the repository, please contact the Kent Academic Repository administration. Otherwise, please check that you have typed the URL in correctly, or contact the person or site that supplied you with this URL.