Beckmann, A., Alhabardi, F. F., Lazar, B., & Setzer, A. (2022). Verification of Bitcoin Script in Agda using Weakest Preconditions for Access Control. 27th International Conference on Types for Proofs and Programs (TYPES 2021), 239, pp. 1:1-1:25. doi:10.4230/LIPIcs.TYPES.2021.1
Chicago Style CitationBeckmann, Arnold, Fahad F. Alhabardi, Bogdan Lazar, and Anton Setzer. "Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control." 27th International Conference On Types for Proofs and Programs (TYPES 2021) 239 (2022): 1:1-1:25.
MLA CitationBeckmann, Arnold, Fahad F. Alhabardi, Bogdan Lazar, and Anton Setzer. "Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control." 27th International Conference On Types for Proofs and Programs (TYPES 2021) 239 (2022): 1:1-1:25.