BibTeX record conf/types/AlhabardiBLS21

• > Home > conf/types/AlhabardiBLS21

@inproceedings{DBLP:conf/types/AlhabardiBLS21,
  author       = {Fahad F. Alhabardi and
                  Arnold Beckmann and
                  Bogdan Lazar and
                  Anton Setzer},
  editor       = {Henning Basold and
                  Jesper Cockx and
                  Silvia Ghilezan},
  title        = {Verification of Bitcoin Script in Agda Using Weakest Preconditions
                  for Access Control},
  booktitle    = {27th International Conference on Types for Proofs and Programs, {TYPES}
                  2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {239},
  pages        = {1:1--1:25},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.TYPES.2021.1},
  doi          = {10.4230/LIPICS.TYPES.2021.1},
  timestamp    = {Thu, 04 Aug 2022 15:11:21 +0200},
  biburl       = {https://dblp.org/rec/conf/types/AlhabardiBLS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}