Glück, R. and Leuschel, M. (1999) Abstraction-Based Partial Deduction for Solving Inverse Problems -- A Transformational Approach to Software Verification. Proc. Third Int. Ershov Conf. on Perspectives of System Informatics, LNCS 1755. pp. 93-100 .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 1999
Additional Information:
Address: Novosibirsk, Russia
Venue - Dates:
Proc. Third Int. Ershov Conf. on Perspectives of System Informatics, LNCS 1755, 1999-01-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 250492
URI: http://eprints.soton.ac.uk/id/eprint/250492
PURE UUID: 31c402d9-ae6a-40e2-99fa-4fff5b13a8ab
Catalogue record
Date deposited: 10 Mar 2000
Last modified: 10 Dec 2021 20:09
Export record
Contributors
Author:
R. Glück
Author:
M. Leuschel
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.