TY  - CONF

T1  - Invariant generation for linearizability proofs

JO  - Proceedings of the ACM Symposium on Applied Computing

UR  - https://eprints.whiterose.ac.uk/id/eprint/113093

PY  - 2016/04/04

AU  - Smith G

AU  - Derrick J

ED  - 

DO  - DOI: 10.1145/2851613.2851837

PB  - ACM

SN  - 9781450337397

SP  - 1694

EP  - 1699

Y2  - 2025/11/27

ER  -