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 Science and Business Media LLC

Y2  - 2024/10/23

ER  -