Lazy-CSeq 0.6c: An improved lazy sequentialization tool for C (competition contribution)


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) University of Southampton 3pp. , Southampton, GB

Download

[img] PDF lazy-cseq.pdf - Other
Download (108kB)
Item Type: Monograph (Project Report)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Organisations: Electronic & Software Systems
ePrint ID: 370673
Date :
Date Event
October 2014Published
Date Deposited: 31 Oct 2014 22:20
Last Modified: 10 Mar 2017 16:44
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/370673

Actions (login required)

View Item View Item