Inverso, Omar, Tomasco, Ermenegildo, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2014) Lazy-CSeq 0.6c: An improved lazy sequentialization tool for C (competition contribution) Southampton, GB. University of Southampton 3pp.
Record type:
Monograph
(Project Report)
More information
Published date: October 2014
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 370673
URI: http://eprints.soton.ac.uk/id/eprint/370673
PURE UUID: 4117075a-e1a7-46f2-80c8-b7998b53b9ae
Catalogue record
Date deposited: 31 Oct 2014 22:20
Last modified: 14 Mar 2024 18:20
Export record
Contributors
Author:
Omar Inverso
Author:
Ermenegildo Tomasco
Author:
Bernd Fischer
Author:
Salvatore La Torre
Author:
Gennaro Parlato
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.