Martin, A. (1996) Infinite Lists for Specifying Functional Programs in Z. Proc. Australasian Refinement Workshops.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1996
Venue - Dates:
Proc. Australasian Refinement Workshops, 1996-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250611
URI: http://eprints.soton.ac.uk/id/eprint/250611
PURE UUID: 4399a285-a83f-463a-8c35-4de4d4c0b771
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 10 Dec 2021 20:10
Export record
Contributors
Author:
A. Martin
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.