TY  - RPRT
TI  - Flexible Refinement Proofs in Separation Logic
AU  - Aurea Bílá
AU  - Christoph Matheja
AU  - Peter Müller
PY  - 2021
UR  - https://arxiv.org/abs/2110.13559
ID  - 2110.13559
ER  -