TY  - RPRT
TI  - Correctness Analysis of IBFT
AU  - Roberto Saltini
AU  - David Hyland-Wood
PY  - 2019
UR  - https://arxiv.org/abs/1901.07160
ID  - 1901.07160
ER  -