MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution).

Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre, Gennaro Parlato

Browse the full TACAS paper archive.