TY  - JOUR

T1  - Mechanically verified proof obligations for linearizability

JO  - ACM Transactions on Programming Languages and Systems

PY  - 2011/01/01

AU  - Derrick J

AU  - Schellhorn G

AU  - Wehrheim H

ED  - 

DO  - DOI: 10.1145/1889997.1890001

VL  - 33

IS  - 1

Y2  - 2025/01/13

ER  -