@inproceedings{20274,
  author       = {{Bila, Eleni and Doherty, Simon and Dongol, Brijesh and Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}},
  booktitle    = {{Formal Techniques for Distributed Objects, Components, and Systems - 40th {IFIP} {WG} 6.1 International Conference, {FORTE} 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings}},
  editor       = {{Gotsman, Alexey and Sokolova, Ana}},
  pages        = {{39--58}},
  publisher    = {{Springer}},
  title        = {{{Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory}}},
  doi          = {{10.1007/978-3-030-50086-3\_3}},
  volume       = {{12136}},
  year         = {{2020}},
}