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

by C Flanagan, S Freund, S Qadeer
Venue:In Proceedings of 11th ESOP