Leuschel, Michael, Podelski, Andreas, Ramakrishnan, C.R. and Ultes-Nitsche, Ulrich (2001) Proceedings of the ACM Sigplan Workshop on Verification and Computational Logic VCL'2001. 109pp .
Record type:
Conference or Workshop Item
(Other)
This record has no associated files available for download.
More information
Published date: September 2001
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 256021
URI: http://eprints.soton.ac.uk/id/eprint/256021
PURE UUID: 6a0eddfb-a6ce-42fb-b143-04b25a33feee
Catalogue record
Date deposited: 11 Sep 2001
Last modified: 10 Dec 2021 20:41
Export record
Contributors
Author:
Michael Leuschel
Author:
Andreas Podelski
Author:
C.R. Ramakrishnan
Author:
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.