Thread-modular verification for shared-memory programs (2002)

by Cormac Flanagan , Stephen N. Freund , Shaz Qadeer
Venue:In Proc. 2002 European Symposium on Programming
Citations:38 - 5 self