TY  - CONF

T1  - Invariant generation for linearizability proofs

JO  - Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16

UR  - http://eprints.whiterose.ac.uk/113093/

PY  - 2016/04/04

AU  - Smith G

AU  - Derrick J

ED  - 

DO  - DOI: 10.1145/2851613.2851837

PB  - ACM Press

SN  - 9781450337397

Y2  - 2024/12/22

ER  -