TY  - RPRT
TI  - Making Relational Hoare Logic Alignment Complete
AU  - Anindya Banerjee
AU  - Ramana Nagasamudram
AU  - David A. Naumann
PY  - 2023
UR  - https://arxiv.org/abs/2212.10338
ID  - 2212.10338
ER  -