APA Citation

ALHABARDI, F. (2024). Verification of Smart Contracts using the Interactive Theorem Prover Agda. Swansea University, Wales, UK.

Chicago Style Citation

ALHABARDI, FAHAD. Verification of Smart Contracts Using the Interactive Theorem Prover Agda. Swansea University, Wales, UK, 2024.

MLA Citation

ALHABARDI, FAHAD. Verification of Smart Contracts Using the Interactive Theorem Prover Agda. Swansea University, Wales, UK, 2024.

Warning: These citations may not always be 100% accurate.