TY  - RPRT
TI  - Probabilistic Relational Reasoning via Metrics
AU  - Arthur Azevedo de Amorim
AU  - Marco Gaboardi
AU  - Justin Hsu
AU  - Shin-ya Katsumata
PY  - 2019
UR  - https://arxiv.org/abs/1807.05091
ID  - 1807.05091
ER  -