Estadísticas
Número total de consultas
Total | |
---|---|
Verification ... | 109 |
Consultas por mes
abril 2024 | mayo 2024 | junio 2024 | julio 2024 | agosto 2024 | septiembre 2024 | octubre 2024 | |
---|---|---|---|---|---|---|---|
Verification ... | 1 | 2 | 3 | 1 | 13 | 0 | 0 |
Descargas
Total | |
---|---|
Verification in ACL2 of a Generic Framework.pdf | 39 |
Países con más consultas
Total | |
---|---|
Estados Unidos | 29 |
Alemania | 22 |
Suecia | 16 |
Singapur | 13 |
Reino Unido | 10 |
China | 7 |
España | 2 |
India | 2 |
Polonia | 2 |
Eslovenia | 2 |
Ciudades con más consultas
Total | |
---|---|
Solna | 12 |
West Palm Beach | 7 |
Oakland | 3 |
Changi | 2 |
Nanjing | 2 |
Ashburn | 1 |
Atlanta | 1 |
Cáceres | 1 |
Des Moines | 1 |
Dublin | 1 |