Fischer, Bernd, Inverso, Omar and Parlato, Gennaro (2013) CSeq: A Sequentialization Tool for C - (Competition Contribution). Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013. pp. 616-618 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: March 2013
Venue - Dates:
Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, 2013-03-01
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 351904
URI: http://eprints.soton.ac.uk/id/eprint/351904
PURE UUID: 9fb0a71a-c63d-4683-b81c-8d81900e4ae5
Catalogue record
Date deposited: 25 Apr 2013 17:06
Last modified: 14 Mar 2024 13:45
Export record
Contributors
Author:
Bernd Fischer
Author:
Omar Inverso
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.