Specialising Abstract Programs
Specialising Abstract Programs
ISBN 3-540-19657-9
34-50
Gravell, A. M.
f3a261c5-f057-4b5f-b6ac-c1ca37d72749
Morris, J. M.
ad7d6aed-e7b4-4584-b1be-ed8473a7fa70
Shaw, R. C.
3f419489-ad3b-49e7-9605-e444abd6bc04
1991
Gravell, A. M.
f3a261c5-f057-4b5f-b6ac-c1ca37d72749
Morris, J. M.
ad7d6aed-e7b4-4584-b1be-ed8473a7fa70
Shaw, R. C.
3f419489-ad3b-49e7-9605-e444abd6bc04
Gravell, A. M.
(1991)
Specialising Abstract Programs.
Morris, J. M. and Shaw, R. C.
(eds.)
Proc. Proceedings of the 4th Refinement Workshop.
.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1991
Venue - Dates:
Proc. Proceedings of the 4th Refinement Workshop, 1991-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 253164
URI: http://eprints.soton.ac.uk/id/eprint/253164
ISBN: ISBN 3-540-19657-9
PURE UUID: 0c34f22e-7770-49fd-b881-a0c7ba28f6e6
Catalogue record
Date deposited: 03 May 2000
Last modified: 10 Dec 2021 20:31
Export record
Contributors
Author:
A. M. Gravell
Editor:
J. M. Morris
Editor:
R. C. Shaw
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
Loading...
View more statistics