TY  - RPRT
TI  - Alignment Completeness for Relational Hoare Logics
AU  - Ramana Nagasamudram
AU  - David A. Naumann
PY  - 2021
UR  - https://arxiv.org/abs/2101.11730
ID  - 2101.11730
ER  -