Analysis of multithreaded programs,” in (2001)

by M Rinard
Venue:Proc. 8th Static Analysis Symposium, ser.