Reasoning about Java's Reentrant Locks.

Christian Haack, Marieke Huisman, Clment Hurlin

Browse the full APLAS paper archive.