TY  - RPRT
TI  - Specifying and Verifying Persistent Libraries
AU  - Léo Stefanesco
AU  - Azalea Raad
AU  - Viktor Vafeiadis
PY  - 2023
UR  - https://arxiv.org/abs/2306.01614
ID  - 2306.01614
ER  -