Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control
| Date first appeared online | 04/08/2022 |
| DOI | 10.4230/LIPIcs.TYPES.2021.1 |
| Authors | Beckmann A., Setzer A. |
| Journal Name | 27th International Conference on Types for Proofs and Programs (TYPES 2021) |
| Volume | 239 |
Documents
- 60178_VoR.pdf , Book, © Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, and Anton Setzer; licensed under Creative Commons License CC-BY 4.0