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 7

Total visits per month

views
June 2024 0
July 2024 3
August 2024 4
September 2024 0
October 2024 0
November 2024 0
December 2024 0

File Visits

views
SACM-Dissertation.pdf 3
d6eb9f15-b28d-4ca4-8b2f-9506939941b0 2

Top country views

views
Saudi Arabia 4
United Kingdom 2
Croatia 1

Top city views

views
Northolt 2
Riyadh 2
Makkah 1
Medina 1
Zagreb 1

Copyright owned by the Saudi Digital Library (SDL) © 2024