Press & Publications
Formal Methods: Towards a Verified Model of the Algorand Consensus Protocol in Coq
August 30, 2020