Analysis of multithreaded programs (2001)

by M C Rinard
Venue:In Proc. of the 8th Int. Static Analysis Symp. (SAS’01), volume 2126 of LNCS