Verification of Smart Contracts using the Interactive Theorem Prover Agda - FAHAD ALHABARDI (2024)
A selection of content is redacted or is partially redacted from this thesis to protect sensitive and personal information.