A static data race analysis tool (1993)

by Warlock
Venue:In USENIX Winter Technical Conference