Fischer, Bernd and Schumann, Johann (1997) SETHEO Goes Software Engineering: Application of ATP to Software Reuse. McCune, William (ed.) 14th International Conference on Automated Deduction, Townsville. pp. 65-68 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: 1997
Additional Information:
Event Dates: July 1997
Venue - Dates:
14th International Conference on Automated Deduction, Townsville, 1997-07-01
Keywords:
automated theorem proving, software reuse, software component retrieval, formal methods
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 262905
URI: http://eprints.soton.ac.uk/id/eprint/262905
ISBN: 3-540-63104-6
PURE UUID: ecbcc925-eae8-4ef2-ae03-bbfe334b9017
Catalogue record
Date deposited: 15 Aug 2006
Last modified: 14 Mar 2024 07:20
Export record
Contributors
Author:
Bernd Fischer
Author:
Johann Schumann
Editor:
William McCune
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.