Tomasco, Ermenegildo, Nguyen, Truc, Inverso, Omar, Fischer, Bernd, La Torre, Salvatore and Parlato, Gennaro (2016) MU-CSeq 0.4: individual memory location unwindings: (competition contribution). 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
Record type:
Conference or Workshop Item
(Other)
Text
SVCOMP_MUCSEQ_2016.pdf
- Accepted Manuscript
Available under License University of Southampton Accepted Manuscript Licence.
Download (163kB)
More information
Published date: 10 April 2016
Venue - Dates:
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2016-04-10
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 386736
URI: http://eprints.soton.ac.uk/id/eprint/386736
PURE UUID: 54258d43-d6cd-4ba8-85b5-e1b6b8431af4
Catalogue record
Date deposited: 30 Jan 2016 22:50
Last modified: 14 Mar 2024 22:37
Export record
Contributors
Author:
Ermenegildo Tomasco
Author:
Truc Nguyen
Author:
Omar Inverso
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.