Login / Signup
Mechanized Formal Model of Bitcoin's Blockchain Validation Procedures.
Kristijan Rupic
Lovro Rozic
Ante Derek
Published in:
FMBC@CAV (2020)
Keyphrases
</>
formal model
credit card
security properties
formal models
predicate calculus