Leuschel, Michael, Cansell, Dominique and Butler, Michael (2007) Validating and Animating Higher-Order Recursive Functions in B. Abrial,, Jean-Raymond and Glässer, Uwe (eds.) Festschrift for Egon Börger.
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 2007
Venue - Dates:
Festschrift for Egon Börger, 2007-01-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 264456
URI: http://eprints.soton.ac.uk/id/eprint/264456
PURE UUID: 9ca33e4c-6638-4550-9c95-107e6b528a39
Catalogue record
Date deposited: 05 Sep 2007
Last modified: 15 Mar 2024 02:50
Export record
Contributors
Author:
Michael Leuschel
Author:
Dominique Cansell
Author:
Michael Butler
Editor:
Jean-Raymond Abrial,
Editor:
Uwe Glässer
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.