Darbari, Ashish (2003) Formalization and Execution of STE in HOL. 16th International Conference on Theorem Proving in Higher Order Logics (TPHOLS), Rome, Italy. 08 - 12 Sep 2003.
Record type:
Conference or Workshop Item
(Poster)
More information
Published date: 2003
Additional Information:
Event Dates: 8-12 Sep 2003
Venue - Dates:
16th International Conference on Theorem Proving in Higher Order Logics (TPHOLS), Rome, Italy, 2003-09-08 - 2003-09-12
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 266032
URI: http://eprints.soton.ac.uk/id/eprint/266032
ISBN: ISBN 3-540-40664-6
PURE UUID: 7111e533-6a09-4a6a-9012-f8ad98081934
Catalogue record
Date deposited: 02 Jul 2008 21:30
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.