Estadísticas
Número total de consultas
| Total | |
|---|---|
| Verification ... | 109 |
Consultas por mes
| marzo 2024 | abril 2024 | mayo 2024 | junio 2024 | julio 2024 | agosto 2024 | septiembre 2024 | |
|---|---|---|---|---|---|---|---|
| Verification ... | 1 | 1 | 2 | 3 | 1 | 13 | 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 |