Statistics for Verification of Smart Contracts using the Interactive Theorem Prover Agda
Total visits
| views | |
|---|---|
| Verification of Smart Contracts using the Interactive Theorem Prover Agda | 11 |
Total visits per month
| views | |
|---|---|
| October 2024 | 0 |
| November 2024 | 0 |
| December 2024 | 0 |
| January 2025 | 0 |
| February 2025 | 0 |
| March 2025 | 0 |
| April 2025 | 0 |
File Visits
| views | |
|---|---|
| SACM-Dissertation.pdf | 6 |
| 5edcd485-4cb9-4c87-b6ab-a127a7e10288 | 2 |
Top country views
| views | |
|---|---|
| Saudi Arabia | 11 |
Top city views
| views | |
|---|---|
| Riyadh | 7 |
| Makkah | 3 |