Publications

Filter by type:
. Mechanising Blockchain Consensus. In Certified Programs and Proofs, 2018.

PDF Code Slides