@inbook{inbook, title = {{A Fully Verified Persistency Library}}, publisher = {{Springer Nature Switzerland}}, url = {{http://dx.doi.org/10.1007/978-3-031-50521-8_2 }}, year = {{2024}}, month = {{1}}, author = {{Bodenmüller S and Derrick J and Dongol B and Schellhorn G and Wehrheim H}}, doi = {{10.1007/978-3-031-50521-8_2}}, isbn = {{9783031505201}}, pages = {{26-47}}, note = {{Accessed on 2024/12/22}}}