TY  - RPRT
TI  - Local Reasoning for Parameterized First Order Protocols
AU  - Rylo Ashmore
AU  - Arie Gurfinkel
AU  - Richard Trefler
PY  - 2019
UR  - https://arxiv.org/abs/1903.03218
ID  - 1903.03218
ER  -