ThreadModular Verification for Shared-Memory Programs (2002)

by C FLANAGAN, S N FREUND, S QADEER
Venue:In Proceeding of the 2002 European Symposium on Programming Languages and Systems (ESOP