Darbari, Ashish (2003) Formalization and Execution of STE in HOL (Extended Version)
Record type:
Monograph
(Project Report)
More information
Published date: 2003
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 266033
URI: http://eprints.soton.ac.uk/id/eprint/266033
PURE UUID: 12670578-c416-4d67-8cb1-8d0b0bb1c2b2
Catalogue record
Date deposited: 02 Jul 2008 21:35
Last modified: 14 Mar 2024 08:19
Export record
Contributors
Author:
Ashish Darbari
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.