A Prototype for Data Race Detection in CSeq 3 - (Competition Contribution).

Alex Coto, Omar Inverso, Emerson Sales, Emilio Tuosto

Browse the full TACAS paper archive.