Mechanising Blockchain Consensus

I Sergey

Metadata

Year 2018
Peer Reviewed done
Venue 7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2018)
mode_edit