TY  - RPRT
TI  - A flexible specification approach for verifying total correctness of fine-grained concurrent modules
AU  - Justus Fasse
AU  - Bart Jacobs
PY  - 2024
UR  - https://arxiv.org/abs/2312.15379
ID  - 2312.15379
ER  -