Reasoning About Threads Communicating via Locks

Vineet Kahlon
Aarti Gupta
CAV (2005), pp. 505-518

Abstract