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 - 2025/07/09 ER -