TY  - RPRT
TI  - Certifying Safety when Implementing Consensus
AU  - Aurojit Panda
PY  - 2019
UR  - https://arxiv.org/abs/1903.03501
ID  - 1903.03501
ER  -