?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adissertation&rft.aulast=Schett&rft.au=Schett%2C+Maria+A&rft.aufirst=Maria+A&rft.inst=UCL+(University+College+London)&rft.degree=Doctoral&rft.date=28+November+2021&rft.tpages=186&rft.title=Cost+Reduction+With+Guarantees%3A+Formal+Reasoning+Applied+To+Blockchain+Technologies