TY  - JOUR

T1  - Verifying correctness of persistent concurrent data structures: a sound and complete method

JO  - Formal Aspects of Computing

PY  - 2021/05/17

AU  - Derrick J

AU  - Doherty S

AU  - Dongol B

AU  - Schellhorn G

AU  - Wehrheim H

ED  - 

DO  - DOI: 10.1007/s00165-021-00541-8

PB  - Springer Nature

VL  - 33

IS  - 4-5

SP  - 547

EP  - 573

Y2  - 2025/11/27

ER  -