Martin, A., Nickson, R. and Utting, M. (1997) A Tactic Language for Ergo. Groves, L. and Reeves, S. (eds.) Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science. pp. 186-207 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: July 1997
Additional Information:
Address: Singapore
Venue - Dates:
Proc. Conf. Formal Methods Pacific'97, Springer Series in Discrete Mathematics and Theoretical Computer Science, 1997-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250566
URI: http://eprints.soton.ac.uk/id/eprint/250566
ISBN: ISBN 981-3083-31-X
PURE UUID: b7e7909c-b3ba-4b56-bb16-a523fef7fd0a
Catalogue record
Date deposited: 14 Jun 1999
Last modified: 05 Mar 2024 18:48
Export record
Contributors
Author:
A. Martin
Author:
R. Nickson
Author:
M. Utting
Editor:
L. Groves
Editor:
S. Reeves
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.