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

Bernd Fischer, Omar Inverso, Gennaro Parlato

Browse the full TACAS paper archive.