Correctness of Tendermint-Core Blockchains.

Yackolley Amoussou-Guenou, Antonella Del Pozzo, Maria Potop-Butucaru, Sara Tucci Piergiovanni

Browse the full OPODIS paper archive.