Embedding a Formal Notation: Experiences of Automating the Embedding of Z in the Higher Order Logics of PVS and HOL
Embedding a Formal Notation: Experiences of Automating the Embedding of Z in the Higher Order Logics of PVS and HOL
ISBN 0-7315-4800-0
73-84
Gravell, A. M.
f3a261c5-f057-4b5f-b6ac-c1ca37d72749
Pratten, C. H.
e6e050e3-00c8-4709-b9ab-5cb710db0b78
Grundy, J.
6a4aac31-2aeb-4f17-9848-9b88dd2f2c74
Newey, M.
b756121b-9621-416a-ad39-005beecdc213
October 1998
Gravell, A. M.
f3a261c5-f057-4b5f-b6ac-c1ca37d72749
Pratten, C. H.
e6e050e3-00c8-4709-b9ab-5cb710db0b78
Grundy, J.
6a4aac31-2aeb-4f17-9848-9b88dd2f2c74
Newey, M.
b756121b-9621-416a-ad39-005beecdc213
Gravell, A. M. and Pratten, C. H.
(1998)
Embedding a Formal Notation: Experiences of Automating the Embedding of Z in the Higher Order Logics of PVS and HOL.
Grundy, J. and Newey, M.
(eds.)
Proc. Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs), supplementary proceedings.
.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: October 1998
Additional Information:
Address: Canberra, Australia
Venue - Dates:
Proc. Int. Conf. Theorem Proving in Higher Order Logics (TPHOLs), supplementary proceedings, 1998-09-30
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 250515
URI: http://eprints.soton.ac.uk/id/eprint/250515
ISBN: ISBN 0-7315-4800-0
PURE UUID: 20cf4166-0e79-430c-9385-d4dd8d140298
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 10 Dec 2021 20:09
Export record
Contributors
Author:
A. M. Gravell
Author:
C. H. Pratten
Editor:
J. Grundy
Editor:
M. Newey
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.
View more statistics