TY  - RPRT
TI  - Semantics for Locking Specifications
AU  - Michael Ernst
AU  - Damiano Macedonio
AU  - Massimo Merro
AU  - Fausto Spoto
PY  - 2015
UR  - https://arxiv.org/abs/1501.05338
ID  - 1501.05338
ER  -