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

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

Browse the full TACAS paper archive.