TY  - RPRT
TI  - A Relational Program Logic with Data Abstraction and Dynamic Framing
AU  - Anindya Banerjee
AU  - Ramana Nagasamudram
AU  - David A. Naumann
AU  - Mohammad Nikouei
PY  - 2022
UR  - https://arxiv.org/abs/1910.14560
ID  - 1910.14560
ER  -