@misc{indiciaef2d22c916044,
  title = {Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control},
  author = {Fahad F. Alhabardi and Arnold Beckmann and Bogdan Lazar and Anton Setzer},
  year = {2022},
  doi = {10.4230/lipics.types.2021.1},
  url = {https://arxiv.org/abs/2203.03054},
  note = {Source identifier: 2203.03054}
}