2024W

• Cryptocurrencies / 192.065 / VU

• Formalization of bitcoin off-chain protocols in F* / Zikulnig, A. M. (2024). Formalization of bitcoin off-chain protocols in F* [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.113647
  Download: PDF (1.38 MB)