Reasoning About Threads Communicating via Locks

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

Abstract

Research Areas