Publications

Filter by type:

. Mechanising Blockchain Consensus. In Certified Programs and Proofs, 2018.

PDF Code Slides