Mechanized Formal Model of Bitcoin’s Blockchain Validation Procedures, Rupić, Rozic and Derek
Channel: FMBC 2020
Date: 2020-07-19

Mechanized Formal Model of the Bitcoin’s Blockchain Validation Procedures, Kristijan Rupić, Lovro Rozic and Ante Derek