CSeq: A Sequentialization Tool for C - (Competition Contribution)


Fischer, Bernd, Inverso, Omar and Parlato, Gennaro (2013) CSeq: A Sequentialization Tool for C - (Competition Contribution) At Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013. , pp. 616-618.

Download

[img] PDF csequ.pdf - Version of Record
Download (115kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, 2013-03-01
Organisations: Electronic & Software Systems
ePrint ID: 351904
Date :
Date Event
March 2013Published
Date Deposited: 25 Apr 2013 17:06
Last Modified: 17 Apr 2017 15:37
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/351904

Actions (login required)

View Item View Item