DOI10.1007/978-3-030-43725-1_9zbMath1520.91440MaRDI QIDQ6166532
Richard Banach
Publication date: 3 August 2023 Published in: Financial Cryptography and Data Security (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-030-43725-1_9
zbMATH Keywords
verification; refinement; Event-B; blockchain; smart contract; Rodin; Solidity
Mathematics Subject Classification ID
94A60: Cryptography
91G99: Actuarial science and mathematical finance
Cites Work