(2002) Proceedings of the ACM Sigplan International Workshop on Verification and Computational Logic. Leuschel, Michael and Ultes-Nitsche, Ulrich (eds.) Verification and Computational Logic VCL'02, Pittsburgh, United States.
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: 2002
Additional Information:
DSSE-TR-2002-5 URL: http://www.dsse.ecs.soton.ac.uk/VCL2002/ Event Dates: 5/10/2002
Venue - Dates:
Verification and Computational Logic VCL'02, Pittsburgh, United States, 2002-10-04
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 257667
URI: http://eprints.soton.ac.uk/id/eprint/257667
PURE UUID: ae55fea2-bb24-4f24-a820-623a62446ee3
Catalogue record
Date deposited: 12 Jun 2003
Last modified: 10 Dec 2021 20:52
Export record
Contributors
Editor:
Michael Leuschel
Editor:
Ulrich Ultes-Nitsche
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.