@article{BodenmuellerDerrickDongoletal.2024,
  author    = {Stefan Bodenm{\"u}ller and John Derrick and Brijesh Dongol and Gerhard Schellhorn and Heike Wehrheim},
  title     = {A fully verified persistency library},
  journal   = {Lecture Notes in Computer Science},
  volume    = {14500},
  pages     = {26 -- 47},
  doi       = {10.1007/978-3-031-50521-8_2},
  year      = {2024},
}